Submissions from nicta.com.au

		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

HN For You