Iliano Cervesato

Cited by

	All	Since 2019
Citations	4047	718
h-index	31	12
i10-index	59	14

240

120

180

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202418 13 17 32 33 46 77 104 152 161 160 162 237 226 231 216 187 172 160 140 138 113 121 117 114 106 99 154 126 138 94

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Aaron D. JaggardU.S. Naval Research LaboratoryVerified email at dimacs.rutgers.edu
patrick lincolnSRIVerified email at sri.com
David WalkerPrinceton UniversityVerified email at cs.princeton.edu
Edmund S L LamUniversity of Colorado BoulderVerified email at colorado.edu
Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerified email at nrl.navy.mil
Massimo FranceschetProfessor of Computer Science, University of UdineVerified email at uniud.it
Paul SyversonMathematician, U.S. Naval Research LaboratoryVerified email at nrl.navy.mil
Stefano BistarelliFull professor of Computer Science at University of PerugiaVerified email at unipg.it
Luca ChittaroFull professor of Human-Computer Interaction, University of Udine, ItalyVerified email at uniud.it
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgVerified email at uni.lu
Robert J. SimmonsCarnegie Mellon University (formerly)Verified email at cs.cmu.edu
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Jesse ElwellGraduate Student in Computer Science, SUNY BinghamtonVerified email at binghamton.edu
Ryan RileyCarnegie Mellon University in QatarVerified email at cmu.edu
dusko pavlovicProfessor at University of HawaiiVerified email at hawaii.edu
Thierry SansProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
Yuxin DengProfessor, East China Normal UniversityVerified email at sei.ecnu.edu.cn

Iliano Cervesato

Professor of Computer Science, Carnegie Mellon University

Verified email at cmu.edu - Homepage

Computational logic programming languages computer security


Title Sort by citations Sort by year Sort by 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	383	1999
A linear logical framework I Cervesato, F Pfenning Information and computation 179 (1), 19-75, 2002	306	2002
A concurrent logical framework I: Judgments and properties K Watkins, I Cervesato, F Pfenning, D Walker Technical Report CMU-CS-02-101, Department of Computer Science, Carnegie …, 2003	234	2003
The logic of authentication protocols P Syverson, I Cervesato International school on foundations of security analysis and design, 63-137, 2000	226	2000
The Dolev-Yao intruder is the most powerful attacker I Cervesato 16th Annual Symposium on Logic in Computer Science—LICS 1, 1-2, 2001	163	2001
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	151	2017
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	126	2008
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	120	2003
A Linear Spine Calculus I Cervesato, F Pfenning	117*	1997
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	116	2000
A concurrent logical framework II: Examples and applications I Cervesato, F Pfenning, D Walker, K Watkins Technical Report CMU-CS-02-102, Department of Computer Science, Carnegie …, 2002	114	2002
Efficient resource management for linear logic proof search I Cervesato, JS Hodas, F Pfenning Theoretical Computer Science 232 (1-2), 133-163, 2000	103	2000
A Formal Analysis of Some Properties of Kerberos 5 Using MSR. F Butler, I Cervesato, AD Jaggard, A Scedrov CSFW 2, 175-190, 2002	93	2002
Dolev-Yao is no better than Machiavelli P Syverson, C Meadows, I Cervesato First Workshop on Issues in the Theory of Security—WITS’00, 87-92, 2000	93	2000
Formal analysis of Kerberos 5 F Butler, I Cervesato, AD Jaggard, A Scedrov, C Walstad Theoretical Computer Science 367 (1-2), 57-87, 2006	91	2006
Relating state-based and process-based concurrency through linear logic (full-version) I Cervesato, A Scedrov Information and Computation 207 (10), 1044-1077, 2009	90	2009
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	88	2006
Efficient resource management for linear logic proof search I Cervesato, JS Hodas, F Pfenning Extensions of Logic Programming: 5th International Workshop, ELP'96 Leipzig …, 1996	74	1996
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	70	2005
Typed MSR: Syntax and examples I Cervesato International Workshop on Mathematical Methods, Models, and Architectures …, 2001	65	2001

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors