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

In this series

PQC Implementation Security

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

← All research

HostExpert

Murali Chillakuru

Press play to begin the walkthrough.

0:00

7:49

PQC Implementation Security · 5 / 5

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

Back