Provably Secure DNS: A Case Study in Formal Methods
Barry S. Fagin, Martin C. Carlisle · 2012
Abstract : We describe the use of formal methods in the development of IRONSIDES, an implementation of DNS with superior performance to both BIND and Windows, the two most common DNS servers on the internet. More importantly, unlike BIND and Windows, IRONSIDES is impervious to all bad-packet denial of service attacks and all forms of remote code execution.