|
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
|