HerQules: securing programs via hardware-enforced message queues

Daming D. Chen, Wen Shih Lim, Mohammad Bakhshalipour, Phillip B. Gibbons, James C. Hoe, Bryan Parno. HerQules: securing programs via hardware-enforced message queues. In Tim Sherwood, Emery Berger, Christos Kozyrakis, editors, ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Virtual Event, USA, April 19-23, 2021. pages 773-788, ACM, 2021. [doi]

Abstract

Abstract is missing.