Vaibhav Mehta

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 3

Top Topics

Complex Networks

Security Services

Automated Design

Cryptographic Protocols

Top Venues

Publications

Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker
SwitchLog: A Logic Programming Language for Network Switches. PADL (2023)
Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller
A Generic Methodology for the Modular Verification of Security Protocol Implementations. CCS (2023)
Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller
A Generic Methodology for the Modular Verification of Security Protocol Implementations. CoRR (2022)
Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing
Ranking Attack Graphs. RAID (2006)
Kedar Bellare, Anish Das Sarma, Atish Das Sarma, Navneet Loiwal, Vaibhav Mehta, Ganesh Ramakrishnan, Pushpak Bhattacharyya
Generic Text Summarization Using WordNet. LREC (2004)