research
∙
09/11/2023
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time
We present Serberus, the first comprehensive mitigation for hardening co...
share
research
∙
08/28/2023
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols
We introduce CryptoBap, a platform to verify weak secrecy and authentica...
research
∙
11/25/2022
Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels
The complexity of modern processor architectures has given rise to sophi...
research
∙
12/20/2021
Relational Models of Microarchitectures for Formal Security Analyses
There is a growing need for hardware-software contracts which precisely ...
research
∙
06/07/2021
Osiris: Automated Discovery of Microarchitectural Side Channels
In the last years, a series of side channels have been discovered on CPU...
research
∙
07/14/2020
Speculative Leakage in ARM Cortex-A53
The recent Spectre attacks have demonstrated that modern microarchitectu...
research
∙
05/11/2020
Validation of Abstract Side-Channel Models for Computer Architectures
Observational models make tractable the analysis of information flow pro...
research
∙
05/06/2020