 | 2007 |
|---|
| 8 |       | Prateek Gupta,
Vitaly Shmatikov:
Security Analysis of Voice-over-IP Protocols.
CSF 2007: 49-63 |
| 2006 |
|---|
| 7 | | Jyotirmoy V. Deshmukh,
E. Allen Emerson,
Prateek Gupta:
Automatic Verification of Parameterized Data Structures.
TACAS 2006: 27-41 |
| 6 | | Prateek Gupta,
Vitaly Shmatikov:
Key confirmation and adaptive corruptions in the protocol security logic.
IACR Cryptology ePrint Archive 2006: 171 (2006) |
| 5 | | Prateek Gupta,
Vitaly Shmatikov:
Security Analysis of Voice-over-IP Protocols.
IACR Cryptology ePrint Archive 2006: 424 (2006) |
| 4 | | Kumar Avijit,
Prateek Gupta,
Deepak Gupta:
Binary rewriting and call interception for efficient runtime protection against buffer overflows.
Softw., Pract. Exper. 36(9): 971-998 (2006) |
| 2005 |
|---|
| 3 | | Prateek Gupta,
Vitaly Shmatikov:
Towards computationally sound symbolic analysis of key exchange protocols.
FMSE 2005: 23-32 |
| 2 | | Prateek Gupta,
Vitaly Shmatikov:
Towards computationally sound symbolic analysis of key exchange protocols.
IACR Cryptology ePrint Archive 2005: 171 (2005) |
| 2004 |
|---|
| 1 | | Kumar Avijit,
Prateek Gupta,
Deepak Gupta:
TIED, LibsafePlus: Tools for Runtime Buffer Overflow Protection.
USENIX Security Symposium 2004: 45-56 |
Data released under the ODC-BY 1.0 license — See also our legal information page