Verifying and Synthesizing Constant-Resource Implementations with Types

Name: Verifying and Synthesizing Constant-Resource Implementations with Types
Uploaded: 2017-01-01
Duration: 18 min 52 s
Description: Verifying and Synthesizing Constant-Resource Implementations with Types — a 2017 IEEE Security & Privacy 2017 (May 22 - 24 2017) security conference talk on crypto (18:52 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2017 (May 22 - 24 2017) · 2017 · 18:52

▶

Verifying and Synthesizing Constant-Resource Implementations with Types — a 2017 IEEE Security & Privacy 2017 (May 22 - 24 2017) security conference talk on crypto (18:52 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive