A survey of protocol fuzzing

X Zhang, C Zhang, X Li, Z Du, B Mao, Y Li… - ACM Computing …, 2024 - dl.acm.org
Communication protocols form the bedrock of our interconnected world, yet vulnerabilities
within their implementations pose significant security threats. Recent developments have …

Reachability Analysis of the Domain Name System

D Nevatia, S Liu, D Basin - Proceedings of the ACM on Programming …, 2025 - dl.acm.org
The high complexity of DNS poses unique challenges for ensuring its security and reliability.
Despite continuous advances in DNS testing, monitoring, and verification, protocol-level …