Max Ammann

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Publications

Max Ammann, Lucca Hirschi, Steve Kremer
DY Fuzzing: Formal Dolev-Yao Models Meet Protocol Fuzz Testing. IACR Cryptol. ePrint Arch. 2023 (2023)