Sven Dietrich
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- United States
- MGP identifier
- 11679
Dissertation: A Formal Analysis of the Secure Sockets Layer Protocol
Advisor 1
- Stephen Austin BlochUniversity of California, San Diego · 1992
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Patrick Duessel | Not recorded | — | 0 |
| Shoufu Luo | City University of New York | 2023 | 0 |
| Saskia Laura Schroeer | Not recorded | 2025 | 0 |
| Jeremy David Seideman | City University of New York | 2023 | 0 |