Max Ammann

According to our database, Max Ammann authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing.

Max Ammann, Lucca Hirschi, Steve Kremer

Proceedings of the IEEE Symposium on Security and Privacy, 2024

2023

DY Fuzzing: Formal Dolev-Yao Models Meet Protocol Fuzz Testing.

Max Ammann, Lucca Hirschi, Steve Kremer

IACR Cryptol. ePrint Arch., 2023