Accelerating and verifying constant-time modular inversion
Daniel J. Bernstein, Han-Ting Chen, John R. Harrison, Cesare Huang, Gregory Maxwell, Bow-Yaw Wang, Pieter Wuille, Bo-Yin Yang
2026Year
1Citations
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get 1b863a92-2e4a-4ec2-ba51-25442cf00693Related papers
- One&Done: A Single-Decryption EM-Based Attack on OpenSSL's Constant-Time Blinded RSAMonjur Alam, Haider Adnan Khan, Moumita Dey, Nishith Sinha et al.USENIX Security 2018 · 62 citations
- SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERIShixin Song, Davide Davoli, Elias Storme, Marton Bognar et al.CCS 2026
- Solver-Aided Constant-Time Hardware VerificationKlaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit JhalaCCS 2021 · 16 citations
- Verifying Constant-Time ImplementationsJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir et al.USENIX Security 2016 · 274 citations
- Towards Verified, Constant-time Floating Point OperationsMarc Andrysco, Andres Nötzli, Fraser Brown, Ranjit Jhala et al.CCS 2018 · 33 citations
