Automatic Verification of Differential Characteristics: Application to Reduced Gimli

Name: Automatic Verification of Differential Characteristics: Application to Reduced Gimli
Uploaded: 2020-01-01
Duration: 21 min 2 s
Description: Automatic Verification of Differential Characteristics: Application to Reduced Gimli — a 2020 Crypto 2020 security conference talk on crypto (21:02 min). Watch the full video, indexed free on the Breach Arc Archive.

Crypto 2020 · 2020 · 21:02

▶

Automatic Verification of Differential Characteristics: Application to Reduced Gimli — a 2020 Crypto 2020 security conference talk on crypto (21:02 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive