Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.
