Accelerating the Search of Differential and Linear Characteristics with the SAT Method

Name: Accelerating the Search of Differential and Linear Characteristics with the SAT Method
Uploaded: 2022-01-01
Duration: 21 min 26 s
Description: Accelerating the Search of Differential and Linear Characteristics with the SAT Method — a 2022 FSE 2022 security conference talk on crypto (21:26 min). Watch the full video, indexed free on the Breach Arc Archive.

FSE 2022 · 2022 · 21:26

▶

Accelerating the Search of Differential and Linear Characteristics with the SAT Method — a 2022 FSE 2022 security conference talk on crypto (21:26 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive