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

DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing. - Max Ammann; Lucca Hirschi; Steve Kremer (SP, 2024)