|
2012-03-30: SSRG awarded Australia-China Mission Grant
|
|
Liming Zhu, Ross Jeffery, Quanqing Xu & Anna Liu have
been awarded the Australia-China Group Mission Grant from
the Dept of Industry & Innovation, Science, Research
& Tertiary Education. This will be used to promote
research and technology collaborations with the Institute
of Software Chinese Academy of Science (ISCAS) and Peking
University, to build dependable systems and demonstrate
NICTA technologies to companies in China.
|
|
2011-12-14: C verification
tool released.
|
|
We have released one of the main C verification tools in
the L4.verified
project under a BSD license. The C-to-Isabelle parser
reads C99 files into the theorem prover Isabelle/HOL and
provides the basis for their formal verification.
|
|
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.
|
