Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf]