Martín Abadi Lujo Bauer Kevin D. Bowers Avik Chaudhuri Anupam Datta Henry DeYoung Jason Franklin Dilsun Kirli Kaynar Akash Lal Frank Pfenning Sanjiva Prasad Michael K. Reiter