Pensieve: Microarchitectural Modeling for Security Evaluation-Reference-Cited by-同舟云学术

Pensieve: Microarchitectural Modeling for Security Evaluation

Published:2023-06-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 50th Annual International Symposium on Computer Architecture
language:
Short-container-title:

Author:

Yang Yuheng¹^ORCID,Bourgeat Thomas¹^ORCID,Lau Stella¹^ORCID,Yan Mengjia¹^ORCID

Affiliation:

1. Massachusetts Institute of Technology, Cambridge, MA, USA

Funder

NSF

AFOSR

Publisher

ACM

Link

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

Reference60 articles.

1. GhostMinion: A Strictness-Ordered Cache System for Spectre Mitigation

2. Sam Ainsworth . 2022. Artefact Evaluation for GhostMinion. https://github.com/SamAinsworth/reproduce-ghostminion-paper. Accessed 26 October 2022 . Sam Ainsworth. 2022. Artefact Evaluation for GhostMinion. https://github.com/SamAinsworth/reproduce-ghostminion-paper. Accessed 26 October 2022.

3. MuonTrap: Preventing Cross-Domain Spectre-Like Attacks by Capturing Speculative State

4. Anish Athalye , M. Frans Kaashoek , and Nickolai Zeldovich . 2022 . Verifying Hardware Security Modules with Information-Preserving Refinement. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22) . USENIX Association. Anish Athalye, M. Frans Kaashoek, and Nickolai Zeldovich. 2022. Verifying Hardware Security Modules with Information-Preserving Refinement. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). USENIX Association.

5. SpecShield: Shielding Speculative Data from Microarchitectural Covert Channels

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

1. Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities;2024 IEEE International Symposium on High-Performance Computer Architecture (HPCA);2024-03-02