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