Urmăriți
Vaibhav Mehta
Vaibhav Mehta
Cornell University
Adresă de e-mail confirmată pe cornell.edu
Titlu
Citat de
Citat de
Anul
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
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–4