research
∙
04/18/2023
Proof-Producing Symbolic Execution for Binary Code Verification
We propose a proof-producing symbolic execution for verification of mach...
share
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
∙
01/16/2019
TrABin: Trustworthy Analyses of Binaries
Verification of microkernels, device drivers, and crypto routines requir...
research
∙
07/27/2018