Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level

Name: Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level
Uploaded: 2020-01-01
Duration: 16 min 28 s
Description: Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level — a 2020 IEEE Security & Privacy 2020 security conference talk on reverse-engineering, crypto (16:28 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2020 · 2020 · 16:28

▶

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level — a 2020 IEEE Security & Privacy 2020 security conference talk on reverse-engineering, crypto (16:28 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

reverse-engineering crypto

← Back to the Breach Arc Archive