Hacker News new | ask | show | jobs
Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf] (ironsides.martincarlisle.com)
38 points by makira 813 days ago
1 comments
egberts1 811 days ago
For actual location of downloadable IRONSIDES package:

https://www.adacore.com/academia/projects/ironsides-secure-d...

link