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.

Boston Computation Club
146 views β’ Apr 12, 2024

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
Likes
2
Duration
59:05
Published
Apr 12, 2024
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now