Skip to content

Top Best Ask Show New Jobs

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

(ironsides.martincarlisle.com)

38 pointsmakira2y ago1 comments

1 comments

1 comments · 1 top-level

For actual location of downloadable IRONSIDES package:

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

j / k navigate · click thread line to collapse