USENIX Security '16 - Verifying Constant-Time Implementations
▶USENIX Security '16 - Verifying Constant-Time Implementations — a USENIX security conference talk on crypto (31:38 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube