research
∙
04/01/2021
Solver-Aided Constant-Time Circuit Verification
We present Xenon, a solver-aided method for formally verifying that Veri...
share
research
∙
05/01/2020
Automatically Eliminating Speculative Leaks With Blade
We introduce BLADE, a new approach to automatically and efficiently synt...
research
∙
10/07/2019
Iodine: Verifying Constant-Time Execution of Hardware
To be secure, cryptographic algorithms crucially rely on the underlying ...
research
∙
10/03/2019