Vaibhav Mehta

According to our database, Vaibhav Mehta authored at least 7 papers between 2004 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

A Hoare Logic for Symmetry Properties.

Vaibhav Mehta, Justin Hsu

Proc. ACM Program. Lang., 2025

2023

A Generic Methodology for the Modular Verification of Security Protocol Implementations.

Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller

Dataset, December, 2023

A Generic Methodology for the Modular Verification of Security Protocol Implementations.

Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller

Dataset, September, 2023

SwitchLog: A Logic Programming Language for Network Switches.

Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker

Proceedings of the Practical Aspects of Declarative Languages, 2023

A Generic Methodology for the Modular Verification of Security Protocol Implementations.

Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2006

Ranking Attack Graphs.

Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing

Proceedings of the Recent Advances in Intrusion Detection, 9th International Symposium, 2006

2004

Generic Text Summarization Using WordNet.

Kedar Bellare, Anish Das Sarma, Atish Das Sarma, Navneet Loiwal, Vaibhav Mehta, Ganesh Ramakrishnan, Pushpak Bhattacharyya

Proceedings of the Fourth International Conference on Language Resources and Evaluation, 2004