Follow
Vaibhav Mehta
Vaibhav Mehta
Cornell University
Verified email at cornell.edu
Title
Cited by
Cited by
Year
A generic methodology for the modular verification of security protocol implementations
L Arquint, M Schwerhoff, V Mehta, P Müller
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
42023
SwitchLog: A Logic Programming Language for Network Switches
V Mehta, D Loehr, J Sonchack, D Walker
International Symposium on Practical Aspects of Declarative Languages, 180-196, 2023
12023
Decidability of an Array Separation Logic fragment with Data Constraints
V Mehta
2023
Order-based Prophet Inequalities: An Overview
R Fang, V Mehta, S Maddirala
The system can't perform the operation now. Try again later.
Articles 1–4