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