| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2012 | Relatively-Sound NIZKs and Password-Based Key-Exchange | pkc | 485-503 |
| 2 | 2011 | Boomerang Attacks on BLAKE-32 | fse | 218 |
| 3 | 2010 | Composable Security Analysis of OS Services | eprint | online |
| 4 | 2007 | Inductive Proof Method for Computational Secrecy | eprint | online |
| 5 | 2006 | Inductive Trace Properties for Computational Security | eprint | online |
Coauthors of Arnab Roy |