Boston Computation Club

04/12/24: DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing with Max Ammann


Listen Later

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!).

...more
View all episodesView all episodes
Download on the App Store

Boston Computation ClubBy Max von Hippel


More shows like Boston Computation Club

View all
ABC News Daily by ABC

ABC News Daily

127 Listeners