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
2026年份
1被引次数
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- One&Done: A Single-Decryption EM-Based Attack on OpenSSL's Constant-Time Blinded RSAMonjur Alam, Haider Adnan Khan, Moumita Dey, Nishith Sinha 等USENIX Security 2018 · 被引用 62 次
- SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERIShixin Song, Davide Davoli, Elias Storme, Marton Bognar 等CCS 2026
- Solver-Aided Constant-Time Hardware VerificationKlaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit JhalaCCS 2021 · 被引用 16 次
- Verifying Constant-Time ImplementationsJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir 等USENIX Security 2016 · 被引用 274 次
- Towards Verified, Constant-time Floating Point OperationsMarc Andrysco, Andres Nötzli, Fraser Brown, Ranjit Jhala 等CCS 2018 · 被引用 33 次
