Kimberly A. Cornell
Original record- Institution
- State University of New York at Albany
- Year
- 2015
- Country
- United States
- MGP identifier
- 195643
Dissertation: Deciding Static Inclusion for Delta-Strong and Omega Del-Strong Intruder Theories: Applications to Cryptographic Protocol Analysis
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Paliath NarendranRensselaer Polytechnic Institute · 1984
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Thilanka Munasinghe | State University of New York at Albany | 2025 | 0 |
| Veena Ravishankar | State University of New York at Albany | 2018 | 0 |