Bogdan Warinschi
Original record- Institution
- University of California, San Diego
- Year
- 2004
- Country
- United States
- MGP identifier
- 80599
Dissertation: On the Computational Soundness of Formal Analysis of Cryptographic Protocols
Advisor 1
- Daniele MicciancioMassachusetts Institute of Technology · 1998
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| David Bernhard | University of Bristol | 2014 | 0 |
| Essam Ghadafi | University of Bristol | 2011 | 1 |
| Ming-Feng Lee | University of Bristol | 2013 | 0 |
| Paul Morrissey | Not recorded | — | 0 |
| Steve Williams | University of Bristol | 2011 | 0 |