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]

@inproceedings{ChenLBGHP21,
  title = {HerQules: securing programs via hardware-enforced message queues},
  author = {Daming D. Chen and Wen Shih Lim and Mohammad Bakhshalipour and Phillip B. Gibbons and James C. Hoe and Bryan Parno},
  year = {2021},
  doi = {10.1145/3445814.3446736},
  url = {https://doi.org/10.1145/3445814.3446736},
  researchr = {https://researchr.org/publication/ChenLBGHP21},
  cites = {0},
  citedby = {0},
  pages = {773-788},
  booktitle = {ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Virtual Event, USA, April 19-23, 2021},
  editor = {Tim Sherwood and Emery Berger and Christos Kozyrakis},
  publisher = {ACM},
  isbn = {978-1-4503-8317-2},
}