Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf] | Better HN
Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf]
(opens in new tab)
(ironsides.martincarlisle.com)
38 points
makira
1y ago
1 comments
Share
1 comments
default
newest
oldest
egberts1
1y ago
For actual location of downloadable IRONSIDES package:
https://www.adacore.com/academia/projects/ironsides-secure-d...
j
/
k
navigate · click thread line to collapse
