Gernot Heiser, NICTA and University of New South Wales