research
∙
02/23/2023
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)
We propose ProSpeCT, a generic formal processor model providing provably...
share
research
∙
09/02/2022
Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure
This paper tackles the problem of designing efficient binary-level verif...
research
∙
12/18/2019
