2024 76 Formal Dolev Yao Models Meet Cryptographic Protocol Fuzz Testing Max Ammann

Name: 2024 76 Formal Dolev Yao Models Meet Cryptographic Protocol Fuzz Testing Max Ammann
Uploaded: 2024-01-01
Duration: 18 min 5 s
Description: 2024 76 Formal Dolev Yao Models Meet Cryptographic Protocol Fuzz Testing Max Ammann — a 2024 IEEE S&P Sessions 2024 security conference talk on fuzzing, network (18:05 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE S&P Sessions 2024 · 2024 · 18:05

▶

2024 76 Formal Dolev Yao Models Meet Cryptographic Protocol Fuzz Testing Max Ammann — a 2024 IEEE S&P Sessions 2024 security conference talk on fuzzing, network (18:05 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

fuzzing network

← Back to the Breach Arc Archive