International Association for Cryptologic Research
Prateek Gupta Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2006 | Security Analysis of Voice-over-IP Protocols | eprint | online |
| 2 | 2006 | Key confirmation and adaptive corruptions in the protocol security logic | eprint | online |
| 3 | 2005 | Towards computationally sound symbolic analysis of key exchange protocols | eprint | online |
Coauthors of Prateek Gupta |