Generic Text Summarization Using WordNet. - Kedar Bellare; Anish Das Sarma; Atish Das Sarma; Navneet Loiwal; Vaibhav Mehta; Ganesh Ramakrishnan; Pushpak Bhattacharyya (LREC, 2004)

Ranking Attack Graphs. - Vaibhav Mehta; Constantinos Bartzis; Haifeng Zhu 001; Edmund M. Clarke; Jeannette M. Wing (RAID, 2006)

A Generic Methodology for the Modular Verification of Security Protocol Implementations. - Linard Arquint; Malte Schwerhoff; Vaibhav Mehta; Peter Müller 001 (CCS, 2023)

SwitchLog: A Logic Programming Language for Network Switches. - Vaibhav Mehta; Devon Loehr; John Sonchack; David Walker 001 (PADL, 2023)