Segui
Vaibhav Mehta
Vaibhav Mehta
Cornell University
Email verificata su cornell.edu
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–4