Security Verification of Low-Trust Architectures-Reference-Cited by-同舟云学术

Security Verification of Low-Trust Architectures

Published:2023-11-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Tan Qinhan¹^ORCID,Fisseha Yonathan²^ORCID,Chen Shibo²^ORCID,Biernacki Lauren³^ORCID,Jeannin Jean-Baptiste²^ORCID,Malik Sharad¹^ORCID,Austin Todd²^ORCID

Affiliation:

1. Princeton University, Princeton, NJ, USA

2. University of Michigan, Ann Arbor, MI, USA

3. Lafayette College, Easton, PA, USA

Publisher

ACM

Link

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

Reference83 articles.

1. 2023. Known-plaintext Attack. (2023). https://en.wikipedia.org/wiki/Knownplaintext_ attack

2. Monjur Alam, Haider Adnan Khan, Moumita Dey, Nishith Sinha, Robert Callan, Alenka Zajic, and Milos Prvulovic. 2018. One&Done: A Single-Decryption EMBased Attack on OpenSSL's Constant-Time Blinded RSA. In 27th USENIX Security Symposium (USENIX Security 18). USENIX Association, Baltimore, MD, 585--602. https://www.usenix.org/conference/usenixsecurity18/presentation/alam

3. Tiago Alves. 2004. Trustzone: Integrated Hardware and Software Security https://www.techonline.com/tech-papers/trustzone-integrated-hardwareand-software-security/. White paper (2004). https://www.techonline.com/techpapers/ trustzone-integrated-hardware-and-software-security/

4. Ittai Anati, Shay Gueron, Simon Johnson, and Vincent Scarlata. 2013. Innovative Technology for CPU based Attestation and Sealing. In Proceedings of the 2nd international workshop on hardware and architectural support for security and privacy, Vol. 13. ACM New York, NY, USA.

5. Clepsydra: Modeling timing flows in hardware designs