Iliano Cervesato
Iliano Cervesato
Professor of Computer Science, Carnegie Mellon University
Verifierad e-postadress på cmu.edu - Startsida
Titel
Citeras av
Citeras av
År
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
3601999
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
2122003
The logic of authentication protocols
P Syverson, I Cervesato
International School on Foundations of Security Analysis and Design, 63-137, 2000
1922000
A linear logical framework
I Cervesato, F Pfenning
Information and Computation 179 (1), 19-75, 2002
1382002
A linear logical framework
I Cervesato, F Pfenning
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 264-275, 1996
1361996
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
1152008
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
1052000
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
1032003
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
962003
A Linear Spine Calculus
I Cervesato, F Pfenning
95*1997
The Dolev-Yao intruder is the most powerful attacker
I Cervesato
16th Annual Symposium on Logic in Computer Science—LICS 1, 2001
872001
A formal analysis of some properties of Kerberos 5 using MSR
F Butler, I Cervesato, AD Jaggard, A Scedrov
862004
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
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
842000
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
822006
Relating state-based and process-based concurrency through linear logic (full-version)
I Cervesato, A Scedrov
Information and Computation 207 (10), 1044-1077, 2009
712009
Typed MSR: Syntax and examples
I Cervesato
International Workshop on Mathematical Methods, Models, and Architectures …, 2001
702001
Efficient resource management for linear logic proof search
I Cervesato, JS Hodas, F Pfenning
International Workshop on Extensions of Logic Programming, 67-81, 1996
691996
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
682005
Efficient resource management for linear logic proof search
I Cervesato, JS Hodas, F Pfenning
Theoretical Computer Science 232 (1-2), 133-163, 2000
682000
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20