3 ms·
Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf]
- egberts1 3y agoFor actual location of downloadable IRONSIDES package: https://www.adacore.com/academia/projects/ironsides-secure-dns-server https://www.adacore.com/academia/projects/ironsides-secure-d...