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.

Max Ammann Reveals Cutting-Edge DY Fuzzing for Cryptographic Protocol Security πŸ”
Boston Computation Club
146 views β€’ Apr 12, 2024
Max Ammann Reveals Cutting-Edge DY Fuzzing for Cryptographic Protocol Security πŸ”

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 TRENDS

Related trending topics. Click any trend to explore more videos.

Trending Now