A Formal Framework for Microarchitectural Security against Adaptive Attackers
Abstract
This is the artifact for the paper "A Formal Framework for Microarchitectural Security against Adaptive Attackers."
Fields of Study & Subjects
Security and Verification in Computing
Cryptographic Implementations and Security
Information and Cyber Security
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 15 January 2026