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 Club146 views59:05

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

Related Trending Topics

LIVE TRENDS

This 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 SHARE

Share 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!