arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Lionel Blatter"" — arXiv2 Search
Showing 1–7 of 7 results
/ Date
/ Name
Nov 14, 2025
The Jasmin Compiler Preserves Cryptographic Security
Feb 21, 2022
Certified Verification of Relational Properties
Jan 16, 2024
An Efficient VCGen-based Modular Verification of Relational Properties
Jan 7, 2025
Decompiling for Constant-Time Analysis
Jun 2, 2016
RPP: Automatic Proof of Relational Properties by Self-Composition
Jan 21, 2018
Static and Dynamic Verification of Relational Properties on Self-Composed C Code
Oct 13, 2025
(Dis)Proving Spectre Security with Speculation-Passing Style