Trustworthy Systems @ Data61: Formerly SSRG @ NICTA
- Why? To address the need for developing and deploying trustworthy software quickly and effectively.
- Where? From the embedded space to desktop and cloud systems.
- How? By applying rigorous techniques to achieve solid and practically meaningful guarantees, with from provable security, safety, and reliability properties of critical systems.
- Who? We are a group of experts spanning three major research disciplines, with a track record in formally verified microkernel-based systems (seL4 and L4.verified).
- Read more about our vision, our past achievements, and our publications.
- Overview Document Get an Overview as a slide deck of our expertise and selected projects.
Andrei Sabelfeld (Chalmers University of Technology) on Tracking
Information Flow in Web Applications More...
Successful final DARPA HACMS demo
2017-04-03 The DARPA HACMS program had a successful final demo day near Washington, to a few hundred industry and government folks. Our seL4 microkernel was at the core of everything demoed, including a a Boeing optionally-piloted helicopter, an autonomous US Army truck and a smart helmet for Army soldiers that Rockwell Collins developed and is...
seL4 in spaaaace!
2017-03-28 A rocket carrying the UNSW QB50 Qubesat was successfully launched to the International Space Station. The satellite, which carries an seL4-based experiment, will be launched onto orbit in May
Gernot Heiser to give a keynote at Embedded Systems week
24/3/17 - Gernot Heiser to give a keynote at Embedded Systems week
Gernot Heiser will teach on operating systems for secure...
21/2/17 - Gernot Heiser will teach on operating systems for secure and safe embedded systems at the HiPEAC International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES '17) http://acaces.hipeac.net/2017/
Fifth Data61 Software Systems Summer School
On February 13 and 14, 2017, the 5th Software Systems Summer School will be held at UNSW. PhD Students and their supervisors from around Australia are invited to take part.
Fellow of the Association for Computing Machinery (ACM)
Professor Steve Blackburn from the Australian National University (ANU) Research School of Computer Science has been placed among the world s best computer scientists, after being named a Fellow of the Association for Computing Machinery (ACM). In total, 53 ACM members were elevated to Fellow level in 2016, with Professor Blackburn joining Prof...