Skip to content

Blogs / Company blogs

NICTA

Popular posts: 2
Total points: 198
HN comments: 52
Rank: #6,126 company

Visit nicta.com.au → On Hacker News Aug 2009 – Apr 2014

Systems & Performance 2 Security & Privacy 1

Most points Most discussed Most cited Newest

1

From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? [pdf]

2014140 points23 comments Systems & Performance details

2

World’s first formal machine-checked proof of a kernel

200958 points29 comments Systems & Performance details