Constant-time arithmetic for safer cryptography

[PDF] arxiv.org

A scalable formal verification methodology for data-oblivious hardware

L Deutschmann, J Müller, MR Fadiheh… - … on Computer-Aided …, 2024 - ieeexplore.ieee.org
The importance of preventing microarchitectural timing side channels in security-critical
applications has surged in recent years. Constant-time programming has emerged as a best …
被引用次数：5 相关文章 所有 3 个版本