Mind the Gap: Cross-RFC Formal Analysis Exposes DNSSEC's Hidden Vulnerabilities
Open Access
- 14 November 2026
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 451-465
Abstract
No abstract availableFunding Information
- NSF (National Science Foundation) (2047476)
- NSF (National Science Foundation) (2112471)
- Texas System Rising STARs Award (40071109)
This publication has 40 references indexed in Scilit:
- Zone-Hopping: Sensitive Information Leakage Prevention for DNSSEC-NSEC2024
- TuDoor Attack: Systematically Exploring and Exploiting Logic Vulnerabilities in DNS Response Pre-processing with Malformed Packets2024
- Enumerating Active IPv6 Hosts for Large-Scale Security Scans via DNSSEC-Signed Reverse Zones2018
- Economic incentives on DNSSEC deployment: Time to move from quantity to quality2018
- Frama-C: A software analysis perspectiveFormal Aspects of Computing, 2015
- Verification of DNSsec Delegation Signatures2014
- CBMC – C Bounded Model Checker2014
- The TAMARIN Prover for the Symbolic Analysis of Security Protocols2013
- Security vulnerabilities in DNS and DNSSEC2007
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983