Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf](ironsides.martincarlisle.com)16 points by makira 2 years ago | 0 comments
![Screenshot of ironsides.martincarlisle.com: Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf]](https://hn.urlbox.com/shots/renders/2024/3/29/dec070cc-778e-4420-ab74-fca593b9e035.jpg)