APA (7th ed.) Citation

Ammann, M., Hirschi, L., & Kremer, S. (2024, May 19). DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing. Proceedings - IEEE Symposium on Security and Privacy, 1481-1499. https://doi.org/10.1109/SP54263.2024.00096

Chicago Style (17th ed.) Citation

Ammann, Max, Lucca Hirschi, and Steve Kremer. "DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing." Proceedings - IEEE Symposium on Security and Privacy 19 May. 2024: 1481-1499. https://doi.org/10.1109/SP54263.2024.00096.

MLA (9th ed.) Citation

Ammann, Max, et al. "DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing." Proceedings - IEEE Symposium on Security and Privacy, 19 May. 2024, pp. 1481-1499, https://doi.org/10.1109/SP54263.2024.00096.