Prati
Vaibhav Mehta
Vaibhav Mehta
Cornell University
Potvrđena adresa e-pošte na cornell.edu
Naslov
Citirano
Citirano
Godina
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–4