Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing - 2024

Explore the intersection of formal Dolev-Yao models and cryptographic protocol fuzz testing in this insightful 18-minute IEEE conference talk. Delve into the latest advancements in security analysis as Max Ammann presents innovative approaches to combining theoretical models with practical testing methodologies. Gain valuable insights into enhancing the robustness of cryptographic protocols and learn how these cutting-edge techniques can be applied to identify potential vulnerabilities in secure communication systems.