Iliano Cervesato

Cited by

	All	Since 2018
Citations	3814	656
h-index	30	12
i10-index	58	14

240

120

180

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202316 12 16 34 31 42 80 98 115 171 171 178 231 220 228 218 198 210 165 138 135 110 122 118 121 110 94 157 129 45

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
David WalkerPrinceton UniversityVerified email at cs.princeton.edu
patrick lincolnSRIVerified email at sri.com
Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerified email at nrl.navy.mil
Edmund S L LamUniversity of Colorado BoulderVerified email at colorado.edu
Paul SyversonMathematician, U.S. Naval Research LaboratoryVerified email at nrl.navy.mil
Massimo FranceschetProfessor of Computer Science, University of UdineVerified email at uniud.it
Stefano BistarelliFull professor of Computer Science at University of PerugiaVerified email at unipg.it
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgVerified email at uni.lu
Robert J. SimmonsBrilliant.org, formerly Carnegie Mellon UniversityVerified email at cs.cmu.edu
Luca ChittaroFull professor of Human-Computer Interaction, University of Udine, ItalyVerified email at uniud.it
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	375	1999
A linear logical framework I Cervesato, F Pfenning Information and computation 179 (1), 19-75, 2002	297	2002
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	223	2003
The logic of authentication protocols P Syverson, I Cervesato Foundations of Security Analysis and Design: Tutorial Lectures 1, 63-137, 2001	216	2001
The Dolev-Yao intruder is the most powerful attacker I Cervesato 16th Annual Symposium on Logic in Computer Science—LICS 1, 1-2, 2001	126	2001
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	119	2008
A concurrent logical framework: The propositional fragment K Watkins, I Cervesato, F Pfenning, D Walker Lecture notes in computer science 3085, 355-377, 2004	114	2004
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	114	2003
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	114	2000
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	109	2017
A Linear Spine Calculus I Cervesato, F Pfenning	109*	1997
A formal analysis of some properties of Kerberos 5 using MSR F Butler, I Cervesato, AD Jaggard, A Scedrov	94	2004
Relating state-based and process-based concurrency through linear logic (full-version) I Cervesato, A Scedrov Information and Computation 207 (10), 1044-1077, 2009	92	2009
Efficient resource management for linear logic proof search I Cervesato, JS Hodas, F Pfenning Theoretical Computer Science 232 (1-2), 133-163, 2000	90	2000
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	89	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	87	2006
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	87	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
Typed MSR: Syntax and examples I Cervesato Information Assurance in Computer Networks: Methods, Models and …, 2001	71	2001
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	69	2005

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