2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CR2025
Systematic Timing Leakage Analysis of NIST PQDSS Candidates: Tooling and Lessons Learned
Olivier Adjonyo, Sebastien Bardin, Emanuele Bellini +5
The PQDSS standardization process requires cryptographic primitives to be free from vulnerabilities, including timing and cache side-channels. Resistance to timing leakage is there…
cs.CR2023★ 2 cited
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)
Lesly-Ann Daniel, Marton Bognar, Job Noorman +3
We propose ProSpeCT, a generic formal processor model providing provably secure speculation for the constant-time policy. For constant-time programs under a non-speculative semanti…