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

ironsides.martincarlisle.com

38 points by makira 2 years ago · 1 comment

Reader

egberts1 2 years ago

For actual location of downloadable IRONSIDES package:

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