Follow
Iliano Cervesato
Iliano Cervesato
Professor of Computer Science, Carnegie Mellon University
Verified email at cmu.edu - Homepage
Title
Cited by
Cited by
Year
A meta-notation for protocol analysis
I Cervesato, NA Durgin, PD Lincoln, JC Mitchell, A Scedrov
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 55-69, 1999
3731999
A linear logical framework
I Cervesato, F Pfenning
Information and computation 179 (1), 19-75, 2002
2942002
A concurrent logical framework I: Judgments and properties
K Watkins, I Cervesato, F Pfenning, D Walker
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 2003
2212003
The logic of authentication protocols
P Syverson, I Cervesato
International School on Foundations of Security Analysis and Design, 63-137, 2000
2142000
Breaking and fixing public-key Kerberos
I Cervesato, AD Jaggard, A Scedrov, JK Tsay, C Walstad
Information and Computation 206 (2-4), 402-424, 2008
1172008
The Dolev-Yao intruder is the most powerful attacker
I Cervesato
16th Annual Symposium on Logic in Computer Science—LICS 1, 1-2, 2001
1172001
A concurrent logical framework: The propositional fragment
K Watkins, I Cervesato, F Pfenning, D Walker
International Workshop on Types for Proofs and Programs, 355-377, 2003
1142003
A concurrent logical framework II: Examples and applications
I Cervesato, F Pfenning, D Walker, K Watkins
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 2003
1132003
Relating strands and multiset rewriting for security protocol analysis
I Cervesato, N Durgin, J Mitchell, P Lincoln, A Scedrov
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 35-51, 2000
1132000
A Linear Spine Calculus
I Cervesato, F Pfenning
107*1997
A formal analysis of some properties of Kerberos 5 using MSR
F Butler, I Cervesato, AD Jaggard, A Scedrov
932004
On the detection of kernel-level rootkits using hardware performance counters
B Singh, D Evtyushkin, J Elwell, R Riley, I Cervesato
Proceedings of the 2017 ACM on Asia Conference on Computer and …, 2017
902017
Dolev-Yao is no better than Machiavelli
P Syverson, C Meadows, I Cervesato
NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS …, 2000
902000
Relating state-based and process-based concurrency through linear logic (full-version)
I Cervesato, A Scedrov
Information and Computation 207 (10), 1044-1077, 2009
882009
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos
M Backes, I Cervesato, AD Jaggard, A Scedrov, JK Tsay
Computer Science Department, 8, 2006
862006
Formal analysis of Kerberos 5
F Butler, I Cervesato, AD Jaggard, A Scedrov, C Walstad
Theoretical Computer Science 367 (1-2), 57-87, 2006
852006
Efficient resource management for linear logic proof search
I Cervesato, JS Hodas, F Pfenning
Theoretical Computer Science 232 (1-2), 133-163, 2000
822000
Efficient resource management for linear logic proof search
I Cervesato, JS Hodas, F Pfenning
International Workshop on Extensions of Logic Programming, 67-81, 1996
741996
Typed MSR: Syntax and examples
I Cervesato
International Workshop on Mathematical Methods, Models, and Architectures …, 2001
722001
An encapsulated authentication logic for reasoning about key distribution protocols
I Cervesato, C Meadows, D Pavlovic
18th IEEE Computer Security Foundations Workshop (CSFW'05), 48-61, 2005
702005
The system can't perform the operation now. Try again later.
Articles 1–20