Axiomatic hardware-software contracts for security-Reference-Cited by-同舟云学术

Axiomatic hardware-software contracts for security

Published:2022-06-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 49th Annual International Symposium on Computer Architecture
language:
Short-container-title:

Author:

Mosier Nicholas¹,Lachnitt Hanna¹,Nemati Hamed¹,Trippel Caroline¹

Affiliation:

1. Stanford University

Funder

Intel Corporation

German Federal Ministry of Education and Research

National Science Foundation

Publisher

ACM

Link

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

Reference82 articles.

1. Don’t Sit on the Fence

2. Fences in Weak Memory Models

3. Jade Alglave Luc Maranget Susmit Sarkar and Peter Sewell. 2011. Litmus: Running Tests Against Hardware. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS): Part of the Joint European Conferences on Theory and Practice of Software (ETAPS) (2011). Jade Alglave Luc Maranget Susmit Sarkar and Peter Sewell. 2011. Litmus: Running Tests Against Hardware. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS): Part of the Joint European Conferences on Theory and Practice of Software (ETAPS) (2011).

4. Herding Cats

5. M. Andrysco , D. Kohlbrenner , K. Mowery , R. Jhala , S. Lerner , and H. Shacham . 2015 . On Subnormal Floating Point and Abnormal Timing. In 2015 IEEE Symposium on Security and Privacy. M. Andrysco, D. Kohlbrenner, K. Mowery, R. Jhala, S. Lerner, and H. Shacham. 2015. On Subnormal Floating Point and Abnormal Timing. In 2015 IEEE Symposium on Security and Privacy.

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization;Proceedings of the 19th ACM Asia Conference on Computer and Communications Security;2024-07

2. Perspective: A Principled Framework for Pliable and Secure Speculation in Operating Systems;2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA);2024-06-29

3. ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

4. Serberus: Protecting Cryptographic Code from Spectres at Compile-Time;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

5. Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage in Data-Oblivious Programs;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19