Live data from Hacker News

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

ironsides.martincarlisle.com

Post reply on HN

Print view View original

1–2 of 2 posts

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

#1

Post by makira » Thu, Mar 28, 2024, 11:27 AM UTC

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

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

#2

Post by egberts1 » Sat, Mar 30, 2024, 9:26 PM UTC

For actual location of downloadable IRONSIDES package:

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

Post reply on HN