Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf] (ironsides.martincarlisle.com) 38 points by makira 2y ago ↗ HN
[–] egberts1 2y ago ↗ For actual location of downloadable IRONSIDES package:https://www.adacore.com/academia/projects/ironsides-secure-d...
1 comment
[ 5.5 ms ] story [ 11.8 ms ] threadhttps://www.adacore.com/academia/projects/ironsides-secure-d...