Apr 12, 2024
04/12/24: DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing with Max Ammann
Boston Computation ClubInformation
- Published
- April 12, 2024
- Type
- audio
- Language
- EN
- Author
- Max von Hippel
- Categories
- sciencemathematics