Max Ammann Reveals Cutting-Edge DY Fuzzing for Cryptographic Protocol Security 🔐
Discover how cybersecurity expert Max Ammann from Trail of Bits combines formal Dolev-Yao models with fuzz testing to enhance cryptographic protocol security and uncover vulnerabilities.
About this video
Max Ammann is a cybersecurity researcher at Trail of Bits, where he's recently been working on extending his Master's thesis work on fuzzing cryptographic protocols into an industrial-grade fuzzing tool. That work resulted in an S&P publication which is what he joined us to present today. This was a really good talk but also a great discussion, in large part because of the highly engaged audience (with representation from Galois, TwoSix, and academia!).
Video Information
Views
146
Total views since publication
Likes
2
User likes and reactions
Duration
59:05
Video length
Published
Apr 12, 2024
Release date
Quality
hd
Video definition
About the Channel
Related Trending Topics
LIVE TRENDSThis video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!
THIS VIDEO IS TRENDING!
This video is currently trending in Spain under the topic 'g'.
Share This Video
SOCIAL SHAREShare this video with your friends and followers across all major social platforms including X (Twitter), Facebook, Youtube, Pinterest, VKontakte, and Odnoklassniki. Help spread the word about great content!