HerQules: securing programs via hardware-enforced message queues-Reference-Cited by-同舟云学术

HerQules: securing programs via hardware-enforced message queues

Published:2021-04-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Chen Daming D.¹^ORCID,Lim Wen Shih¹,Bakhshalipour Mohammad¹,Gibbons Phillip B.¹,Hoe James C.¹,Parno Bryan¹

Affiliation:

1. Carnegie Mellon University, USA

Funder

Semiconductor Research Corporation

National Science Foundation

Office of Naval Research

Alfred P. Sloan Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3445814.3446736

Reference114 articles.

1. 2010. Data Plane Development Kit. https://www.dpdk.org/ 2010. Data Plane Development Kit. https://www.dpdk.org/

2. 2016. Control-Flow Enforcement Technology Specification. https://softwa re.intel.com/sites/default/files/managed/4d/2a/control-flow-enforcementtechnology-preview.pdf 2016. Control-Flow Enforcement Technology Specification. https://softwa re.intel.com/sites/default/files/managed/4d/2a/control-flow-enforcementtechnology-preview.pdf

3. 2018. Control Flow Guard-Win32 Apps. https://docs.microsoft.com/enus/windows/win32/secbp/control-flow-guard 2018. Control Flow Guard-Win32 Apps. https://docs.microsoft.com/enus/windows/win32/secbp/control-flow-guard

4. 2018. System V Application Binary Interface: AMD64 Architecture Processor Supplement. https://github.com/hjl-tools/x86-psABI/wiki/x86-64-psABI1.0.pdf 2018. System V Application Binary Interface: AMD64 Architecture Processor Supplement. https://github.com/hjl-tools/x86-psABI/wiki/x86-64-psABI1.0.pdf

5. 2020. Control Flow Integrity | Android Open Source Project. https://source.a ndroid.com/devices/tech/debug/cfi 2020. Control Flow Integrity | Android Open Source Project. https://source.a ndroid.com/devices/tech/debug/cfi