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 large cloud and enterprise systems.
- How? By applying rigorous techniques to achieve solid and practically meaningful guarantees, ranging from provable security, safety, and reliability properties of critical systems, to integrated and adaptive architectures that predictably meet performance and business objectives in real-word enterprise environments.
- Who? We are a group of experts spanning four major research disciplines, with a track record in formally verified microkernel-based systems (seL4 and L4.verified) and successful enterprise architecture services engagements.
- 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...
University of Melbourne Early Career Researcher award Oc...
Toby Murray received an University of Melbourne Early Career Researcher award to pursue scaling up work on information flow with separation logic, the CompCert/Verified Software Toolchain (VST), and the Verasco verified static analyser.
GovHack 2016 Awards
Research Assistant Felix Kam's team of 6 won 3 awards at GovHack 2016 sponsored by Google, the ATO and the ABS, with cash prizes totaling $7000. Their project TaxLess: optimizing your tax returns, won first prizes of the Machine Learning Hack, Smarter Data and Data intelligence awards. GovHack is the largest open government and open data hackat...
Endeavour Research Fellowship October 2016
Researcher Yuval Yarom has been awarded an Endeavour Research Fellowship to support his research into validating cryptographic implementations. The Endeavour Research Fellowships are Federal Government funded fellowships that provide Australian researchers with the opportunity for a 4-6 month research visit at an international institution. Yuva...
Trustworthy Systems wins 1st and 2nd place in SYNTCOMP 16
The Trustworthy Systems group placed first and and second in the international SYNTCOMP 16 Reactive Synthesis Competition. Synthesis is an approach to software correctness where programs are automatically generated. The tool Simple BDD Solver by Adam Walker came first in the sequential realisability track - for the third year in a row, and th...
Call for TASTE OF RESEARCH (TOR) Projects 2016/2017
The submission of projects for the UNSW Taste of Research program for 2016/17 are due May 20th 2016...more