| 2007 |
|---|
| 5 | EE | Prateek Gupta,
Vitaly Shmatikov:
Security Analysis of Voice-over-IP Protocols.
CSF 2007: 49-63 |
| 2006 |
|---|
| 4 | EE | Jyotirmoy V. Deshmukh,
E. Allen Emerson,
Prateek Gupta:
Automatic Verification of Parameterized Data Structures.
TACAS 2006: 27-41 |
| 3 | EE | 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 |
|---|
| 2 | EE | Prateek Gupta,
Vitaly Shmatikov:
Towards computationally sound symbolic analysis of key exchange protocols.
FMSE 2005: 23-32 |
| 2004 |
|---|
| 1 | EE | Kumar Avijit,
Prateek Gupta,
Deepak Gupta:
TIED, LibsafePlus: Tools for Runtime Buffer Overflow Protection.
USENIX Security Symposium 2004: 45-56 |
