Searching for authors named "Prateek Gupta" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Model Checking LTL with Fairness Assumptions using Net Unfoldings
- …Model Checking LTL with Fairness Assumptions using Net Unfoldings Prateek Gupta Department…
- Add To MetaCart
-
Key confirmation and adaptive corruptionsin the protocol security logic
- … Key confirmation and adaptive corruptionsin the protocol security logic Prateek Gupta and Vitaly…
- Add To MetaCart
-
Towards Computationally Sound Symbolic Analysis of Key Exchange Protocols (Extended Abstract)
- …) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin Abstract We present a…
- Cited by 5 (0 self) – Add To MetaCart
-
Security Analysis of Voice-over-IP Protocols
- …Security Analysis of Voice-over-IP Protocols Prateek Gupta and Vitaly Shmatikov The University…
- Add To MetaCart
-
Key Confirmation and Adaptive Corruptions
- …Key confirmation and adaptive corruptions in the protocol security logic Prateek Gupta and Vitaly…
- Add To MetaCart
-
Automatic Verification of Parameterized Data Structures
- …, and Prateek Gupta Department of Computer Sciences and Computer Engineering Research Center, The University…
- Cited by 3 (0 self) – Add To MetaCart
-
this work has not been submitted elsewhere for a degree.
- … Fulfillment of the Requirements for the Degree of Bachelor of Technology by Kumar Avijit (Y0170) Prateek Gupta…
- Add To MetaCart
Showing 1 through 7.
