| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2010 | Parallel and Concurrent Security of the HB and HB+ Protocols | jofc | 402-421 |
| 2 | 2006 | Parallel and Concurrent Security of the HB and HB+ Protocols | eurocrypt | online |
| 3 | 2005 | Modeling Insider Attacks on Group Key-Exchange Protocols | eprint | online |
| 4 | 2005 | Parallel and Concurrent Security of the HB and HB+ Protocols | eprint | online |
Coauthors of Ji Sun Shin |