2014-12-05 — Visitors to NICTA and UNSW
Tony Hosking (Purdue) and Haibo Chen (Shanghai'TJ) visited UNSW and NICTA. Both gave seminars and met with staff and students

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