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...
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 t...
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
L4 Microkernels Published
The paper L4 Microkernels: The Lessons from 20 years of Research and Deployment was published in ACM Transactions on Computer Systems. Authors Senior Principal Researcher Gernot Heiser and Principal Researcher Kevin Elphinstone
Seminar 2016-04-01: Marco Serafini - Making Database Man...
On-line transaction processing (OLTP) database management systems (DBMSs) often serve time-varying workloads due to daily, weekly or seasonal fluctuations in demand, or because of rapid growth in demand due to a company's business success. DBMSs that can dynamically load balance and elastically use more or fewer servers can substantially improv...