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.
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.
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
Outstanding paper award at RTAS '16
PhD student Thomas Sewell presented the 'Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis' paper at RTAS'16 which took place at CPS week in Vienna. The work won an outstanding paper award at RTAS
IEEE Trans Computers (TC)- Gernot Heiser
IEEE Fellow Gernot Heiser has been appointed associate editor of IEEE Trans Computers (TC)...more