CMV: automatic verification of complete mediation for java virtual machines. - A. Prasad Sistla; V. N. Venkatakrishnan; Michelle Zhou 002; Hilary Branske (AsiaCCS, 2008)

WebAppArmor: A Framework for Robust Prevention of Attacks on Web Applications (Invited Paper). - V. N. Venkatakrishnan; Prithvi Bisht; Mike Ter Louw; Michelle Zhou 002; Kalpana Gondi; Karthik Thotta Ganesh (ICISS, 2010)

Strengthening XSRF Defenses for Legacy Web Applications Using Whitebox Analysis and Transformation. - Michelle Zhou 002; Prithvi Bisht; V. N. Venkatakrishnan (ICISS, 2010)