|
2011-06-02: NICTA and secunet work
together to deliver highly secure computing
|
|
NICTA and German IT security specialist secunet Security
Networks AG have entered a strategic research
collaboration to develop high-security information
technology (IT) products for the defence and government
sectors. The research will combine secunet's experience
in designing and building high-security devices with
NICTA's expertise in formal verification and secure
microkernel technology.
|
|
2011-05-02: SSRG students win
design competition.
|
|
SSRG students Etienne Le Sueur, Bernard Blackham, Martin
Pflauminger and Aaron Carroll have won the 2011
Lantronix XPort Pro Design Contest with their
e4Meter.
|
|
2011-01-27: Verified seL4 kernel
released.
|
|
NICTA and OK Labs have announced the
first joint public release of the formally
verified seL4 microkernel (branded OKL4 Verified).
The release, for non-commercial and evaluation use,
contains seL4 kernel binaries for ARM and x86,
documentation, user level examples, x86 Linux on top of
seL4, and the formal specification of the kernel for the
ARM platform.
|
|
2010-11-04: One Billion L4-powered
phones
|
|
Open Kernel Labs has
announced that OKL4, derived from NICTA's L4-embedded
microkernel, has now shipped in more than 1.1 billion
mobile phones. This makes OKL4 one of the most
widely-deployed OS kernels ever.
|
