Iliano Cervesato
Iliano Cervesato
Professor of Computer Science, Carnegie Mellon University
Bestätigte E-Mail-Adresse bei cmu.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
3621999
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
2142003
The logic of authentication protocols
P Syverson, I Cervesato
International School on Foundations of Security Analysis and Design, 63-137, 2000
1952000
A linear logical framework
I Cervesato, F Pfenning
Information and Computation 179 (1), 19-75, 2002
1402002
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
1162008
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
1042003
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
992003
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
912001
Formal analysis of Kerberos 5
F Butler, I Cervesato, AD Jaggard, A Scedrov, C Walstad
Theoretical Computer Science 367 (1-2), 57-87, 2006
862006
A formal analysis of some properties of Kerberos 5 using MSR
F Butler, I Cervesato, AD Jaggard, A Scedrov
862004
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
742009
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
Theoretical Computer Science 232 (1-2), 133-163, 2000
692000
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20