GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
Carnegie Mellon University
/
Iliano Cervesato
I
Iliano Cervesato
Teaching Professor
Computer Science
,
Carnegie Mellon University
Research Interests
Advanced Authentication Protocols Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
User Authentication and Security Systems
Academic Metrics
Links
Grants