Iliano Cervesato

Geciteerd door

	Alles	Sinds 2018
Citaties	3815	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 139 135 110 122 118 121 110 94 157 129 45

Openbare toegang

Alles bekijken

5 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaGeverifieerd e-mailadres voor math.upenn.edu
Angelo MontanariProfessor of Computer Science, Univ. of UdineGeverifieerd e-mailadres voor uniud.it
Aaron D. JaggardU.S. Naval Research LaboratoryGeverifieerd e-mailadres voor dimacs.rutgers.edu
David WalkerPrinceton UniversityGeverifieerd e-mailadres voor cs.princeton.edu
patrick lincolnSRIGeverifieerd e-mailadres voor sri.com
Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryGeverifieerd e-mailadres voor nrl.navy.mil
Edmund S L LamUniversity of Colorado BoulderGeverifieerd e-mailadres voor colorado.edu
Paul SyversonMathematician, U.S. Naval Research LaboratoryGeverifieerd e-mailadres voor nrl.navy.mil
Massimo FranceschetProfessor of Computer Science, University of UdineGeverifieerd e-mailadres voor uniud.it
Stefano BistarelliFull professor of Computer Science at University of PerugiaGeverifieerd e-mailadres voor unipg.it
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgGeverifieerd e-mailadres voor uni.lu
Robert J. SimmonsBrilliant.org, formerly Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Luca ChittaroFull professor of Human-Computer Interaction, University of Udine, ItalyGeverifieerd e-mailadres voor uniud.it
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityGeverifieerd e-mailadres voor cispa.saarland
Jesse ElwellGraduate Student in Computer Science, SUNY BinghamtonGeverifieerd e-mailadres voor binghamton.edu
Ryan RileyCarnegie Mellon University in QatarGeverifieerd e-mailadres voor cmu.edu
dusko pavlovicProfessor at University of HawaiiGeverifieerd e-mailadres voor hawaii.edu
Thierry SansProfessor of Computer Science, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cmu.edu
Yuxin DengProfessor, East China Normal UniversityGeverifieerd e-mailadres voor sei.ecnu.edu.cn

Volgen

Iliano Cervesato

Professor of Computer Science, Carnegie Mellon University

Geverifieerd e-mailadres voor cmu.edu - Homepage

Computational logic programming languages computer security


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	120	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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs