Trustworthy Systems

TS News

News

2014-12-20 Gernot Heiser named ACM Fellow
Professor Gernot Heiser has been recognised as an ACM Fellow.
2014-12-13 Doctorate Awarded
Andrew Boyton’s PhD thesis has just been officially accepted, without changes from either reviewer and only 2.5 months after submission.
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
Show older articles