Accepted Papers

Accepted Papers

Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez.
Short paper: Principled Detection of Speculative Information Flows

Andreas Lindner, Hamed Nemati, Pablo Buiras, Roberto Guanciale, Swen Jacobs.
Validation of Abstract Side-channel Models for Computer Architectures

Florian Vanhems, Narjes Jomaa, Samuel Hym, David Nowak.
On the Proof-Oriented Design of a Context-Switching Service in the Pip Protokernel