FM2021Top-tier venue
Verifying Secure Speculation in Isabelle/HOL
Matt Griffin, Brijesh Dongol
2021Year
6Citations
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get f051fb2d-d079-47da-8542-42fe317c4797Related papers
- SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERIShixin Song, Davide Davoli, Elias Storme, Marton Bognar et al.CCS 2026
- Adaptively Secure Computation for RAM ProgramsLaasya Bangalore, Rafail Ostrovsky, Oxana Poburinnaya, Muthuramakrishnan VenkitasubramaniamEUROCRYPT 2022
- Spy game: verifying a local generic solver in IrisPaulo Emílio de Vilhena, François Pottier, Jacques-Henri JourdanPOPL 2020 · 15 citations
- Hardware-Software Contracts for Secure SpeculationMarco Guarnieri, Boris Köpf, Jan Reineke, Pepe VilaS&P 2021 · 111 citations
- Credit Without Debit: Formal Verification of Banking Payment SystemsAli Hamza Malik, Muhammad Taqi RazaCCS 2026
