Vaibhav Mehta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SIGCOMM | λ | Vaibhav Mehta, Arjun Devraj, Bill Owens, Justin Hsu, Rachee Singh |
| 2023 | CCS | A Generic Methodology for the Modular Verification of Security Protocol Implementations. | Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Mller |
| 2023 | PADL | SwitchLog: A Logic Programming Language for Network Switches. | Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker |
| 2006 | RAID | Ranking Attack Graphs. | Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing |
| 2004 | LREC | Generic Text Summarization Using WordNet. | Kedar Bellare, Anish Das Sarma, Atish Das Sarma, Navneet Loiwal, Vaibhav Mehta, Ganesh Ramakrishnan, Pushpak Bhattacharyya |