Home

Cryptography & Post-Quantum› PQC Implementation Security›Verifying Constant-Time: Tooling and Methodology to Demonstrate a Leak-Free Implementation

In this series

PQC Implementation Security

◆OverviewStart here
1The Side-Channel Threat Model for Post-Quantum CryptographyResearch
2Timing and the Decapsulation Oracle: When Non-Constant-Time Handling Leaks the PlaintextResearch
3Power and Electromagnetic Attacks on the NTT and the SamplerResearch
4Masking and Countermeasures: Arithmetic-to-Boolean Shares and the Cost of Provable ResistanceResearch
5Verifying Constant-Time: Tooling and Methodology to Demonstrate a Leak-Free ImplementationResearch

HostExpert

Murali Chillakuru

Press play to begin the conversation.

0:00

22:27

PQC Implementation Security · 5 / 5

Verifying Constant-Time: Tooling and Methodology to Demonstrate a Leak-Free Implementation