Verifying Constant-time Implementations

2017 1:06:02
Synopsis
The constant-time programming discipline is an effective countermeasure against timing and cache-timing attacks, which can lead ...

You Might Also Like

USENIX Security '16 - Verifying Constant-Time Implementations 31:38
Usenix Security '16 - Verifying Constant-time Implementation...
2022
USENIX Security '19 - IODINE: Verifying Constant-Time Execution of Hardware 19:24
Usenix Security '19 - Iodine: Verifying Constant-time Execut...
2020
Towards Verified, Constant-time Floating Point Operations 24:05
Towards Verified, Constant-time Floating Point Operations
2020
USENIX Security '17 - Constant-Time Callees with Variable-Time Callers 26:27
Usenix Security '17 - Constant-time Callees With Variable-ti...
2018
Verifying and Synthesizing Constant-Resource Implementations with Types 18:52
Verifying And Synthesizing Constant-resource Implementations...
2018
USENIX Security '24 - GoFetch: Breaking Constant-Time Cryptographic Implementations Using Data... 11:48
Usenix Security '24 - Gofetch: Breaking Constant-time Crypto...
2025
Thomas Pornin - Non-Crypto Constant-Time Coding 32:31
Thomas Pornin - Non-crypto Constant-time Coding
2019
Constant Time Crypto Explained 3:26
Constant Time Crypto Explained
2023
FAQ about 0(1) Constant Time Algorithms 5:42
Faq About 0(1) Constant Time Algorithms
2026
A Constant Time Full Hardware Implementation of Streamlined NTRU Prime - CARDIS 2020 22:46
A Constant Time Full Hardware Implementation Of Streamlined ...
2021
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level 16:28
Binsec/rel: Efficient Relational Symbolic Execution For Cons...
2021
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.