Searching for authors named "Prateek Gupta" – sorted by Relevance.
-
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

