Hacker News new | ask | show | jobs
Kernel that is mathematically proved secure (csiro.au)
1 points by termau 2267 days ago