2014-11-25 Best student research paper award
David Cock won the CiSRA/CSE best student research paper award for his paper, ‘The last mile, an empirical study of timing channels on seL4’ with Qian Ge,Toby Murray and Gernot Heiser.

2014-11-22 Paper presented at Top Security Venue
David Cock presented his paper on analysing covert timing channels in seL4 at CCS, one of the top security venues

2014-11-17 German Chancellor Angela Merkel arrived at the National ICT Australia’s offices in Sydney
The German Chancellor and most powerful woman in the world had a host of post-G20 commitments in Sydney and chose to spend 45 minutes touring NICTA’s labs near Redfern. She was accompanied by Communications Minister Malcolm Turnbull and Industry Minister Ian Macfarlane during her tour of NICTA. more

2014-09-30 Seminar Pablo González de Aledo - Symbolic-Execution for software verification
In this talk Pablo is going to talk about his work on symbolic execution and how the technique can be used for different purposes in software verification, particularly Automated Test Pattern Generation, Model-Checking, bug detection and equivalence checking. Future work and possible collaborations with Nicta in this area will be spotted

2014-09-26 A Software Architect's Perspective
Len Bass, Ingo Weber and Liming Zhu completed the first pass of the book DevOps: A software Architect's perspective and it has been written and posted to SlideShare.