Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing - 2024
Offered By: IEEE via YouTube
Course Description
Overview
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.
Syllabus
2024 76 Formal Dolev Yao Models Meet Cryptographic Protocol Fuzz Testing Max Ammann
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
Evaluating Fuzz TestingAssociation for Computing Machinery (ACM) via YouTube O'Dea Assertions Untwining the Security of the SAML Protocol
nullcon via YouTube Fuzz Smarter, Not Harder - An AFL-Fuzz Primer
Security BSides San Francisco via YouTube A Practical Guide to Fuzz Testing Embedded Software in a CI Pipeline - Dennis Kengo Oka - Ekoparty 2021: Hardware Hacking Space
Ekoparty Security Conference via YouTube Google Reimagined a Phone - It Was Our Job to Red Team and Secure It
Black Hat via YouTube