Verifying Secure Speculation in Isabelle/HOL
Matt Griffin, Brijesh Dongol
2021年份
6被引次数
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERIShixin Song, Davide Davoli, Elias Storme, Marton Bognar 等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 次
- Hardware-Software Contracts for Secure SpeculationMarco Guarnieri, Boris Köpf, Jan Reineke, Pepe VilaS&P 2021 · 被引用 111 次
- Credit Without Debit: Formal Verification of Banking Payment SystemsAli Hamza Malik, Muhammad Taqi RazaCCS 2026
