Software and Systems Engineering group
u University of Auckland (New Zealand): Secure Systems group
u University of California at Davis: Computer Security Laboratory
u University of Cambridge (UK) Computer Laboratory: Security group