Hacker News Clone

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

by makira on 3/28/2024, 11:27 AM with 1 comments

by egberts1 on 3/30/2024, 9:26 PM
For actual location of downloadable IRONSIDES package:
https://www.adacore.com/academia/projects/ironsides-secure-d...