Gernot Heiser, NICTA and The University of New South Wales