| | L4 Microkernels: The Lessons from 20 Years of Research and Deployment (nicta.com.au) |
|
5 points by snvzz on April 11, 2016 | past
|
|
| | L4 Microkernels: The Lessons from 20 Years of Research and Deployment (nicta.com.au) |
|
3 points by ingve on April 8, 2016 | past
|
|
| | CacheBleed: A Timing Attack on OpenSSL Constant Time RSA (nicta.com.au) |
|
219 points by dchest on March 1, 2016 | past | 18 comments
|
|
| | An Early Look at Multipath TCP Deployment in the Wild (pdf) (nicta.com.au) |
|
1 point by jsnell on Nov 1, 2015 | past
|
|
| | Termite: Automatic Synthesis of Device Drivers (nicta.com.au) |
|
1 point by jdc on Jan 23, 2015 | past
|
|
| | Comprehensive Formal Verification of an OS Microkernel [pdf] (nicta.com.au) |
|
2 points by lelf on June 25, 2014 | past
|
|
| | Undergrads: Free week at the beach, and, uh, optimization. (nicta.com.au) |
|
1 point by brianmo00 on June 3, 2014 | past
|
|
| | From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? [pdf] (nicta.com.au) |
|
140 points by pjscott on April 12, 2014 | past | 23 comments
|
|
| | Using HOL4 to prove Fermat's Little Theorem (nicta.com.au) |
|
29 points by ColinWright on Feb 15, 2014 | past | 3 comments
|
|
| | Trustworthy Systems (ERTOS) (nicta.com.au) |
|
1 point by mhb on Aug 23, 2013 | past
|
|
| | Insecurity in Public-Safety Communications: APCO Project 25 [pdf] (nicta.com.au) |
|
1 point by adulau on Sept 11, 2011 | past
|
|
| | Elefant (Efficient Learning, Large-scale Inference, and Optimisation Toolkit) (nicta.com.au) |
|
1 point by mindcrime on April 12, 2011 | past
|
|
| | SeL4: formal verified kernel with a para-virtualised Linux (nicta.com.au) |
|
1 point by dcerezo on March 6, 2011 | past
|
|
| | Elefant is an open source library for machine learning (nicta.com.au) |
|
26 points by _pius on Nov 24, 2009 | past | 1 comment
|
|
| | A Formally Correct Operating System Kernel (nicta.com.au) |
|
1 point by vinutheraj on Sept 22, 2009 | past
|
|
| | L4.Verified project - A formally correct OS kernel. (nicta.com.au) |
|
9 points by socratees on Aug 19, 2009 | past | 6 comments
|
|
| | World’s first formal machine-checked proof of a kernel (nicta.com.au) |
|
58 points by cromulent on Aug 13, 2009 | past | 29 comments
|
|
