Verifying Secure Speculation in Isabelle/HOL
- 10 November 2021
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate ApproachIEEE Micro, 2019
- Context-Sensitive FencingPublished by Association for Computing Machinery (ACM) ,2019
- DAWG: A Defense Against Cache Timing Attacks in Speculative Execution ProcessorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2018
- UCLID5: Integrating Modeling, Verification, Synthesis and LearningPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2018
- Measuring the Impact of Spectre and MeltdownPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2018
- BAP: A Binary Analysis PlatformLecture Notes in Computer Science, 2011
- HyperpropertiesJournal of Computer Security, 2010
- seL4Published by Association for Computing Machinery (ACM) ,2009
- CSP and determinism in security modellingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Proving Noninterference and Functional Correctness Using TracesJournal of Computer Security, 1992