Iliano Cervesato

인용

	전체	2020년 이후
서지정보	4086	649
h-index	32	11
i10-index	59	13

240

120

180

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 13 17 32 33 46 77 104 152 161 160 164 235 226 231 217 187 172 161 138 138 113 121 117 114 106 99 154 126 138 125 7

공개 액세스

모두 보기

자료 5개

자료 0개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Frank PfenningProfessor of Computer Science, Carnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvaniamath.upenn.edu의 이메일 확인됨
Angelo MontanariProfessor of Computer Science, Univ. of Udineuniud.it의 이메일 확인됨
Aaron D. JaggardU.S. Naval Research Laboratorydimacs.rutgers.edu의 이메일 확인됨
patrick lincolnSRIsri.com의 이메일 확인됨
David WalkerPrinceton Universitycs.princeton.edu의 이메일 확인됨
Edmund S L LamUniversity of Colorado Bouldercolorado.edu의 이메일 확인됨
Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratorynrl.navy.mil의 이메일 확인됨
Massimo FranceschetProfessor of Computer Science, University of Udineuniud.it의 이메일 확인됨
Paul SyversonMathematician, U.S. Naval Research Laboratorynrl.navy.mil의 이메일 확인됨
Stefano BistarelliFull professor of Computer Science at University of Perugiaunipg.it의 이메일 확인됨
Luca ChittaroFull professor of Human-Computer Interaction, University of Udine, Italyuniud.it의 이메일 확인됨
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of Luxembourguni.lu의 이메일 확인됨
Robert J. SimmonsCarnegie Mellon University (formerly)cs.cmu.edu의 이메일 확인됨
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information Securitycispa.saarland의 이메일 확인됨
Jesse ElwellGraduate Student in Computer Science, SUNY Binghamtonbinghamton.edu의 이메일 확인됨
Ryan RileyCarnegie Mellon University in Qatarcmu.edu의 이메일 확인됨
dusko pavlovicProfessor at University of Hawaiihawaii.edu의 이메일 확인됨
Thierry SansProfessor of Computer Science, Carnegie Mellon Universitycmu.edu의 이메일 확인됨
Yuxin DengProfessor, East China Normal Universitysei.ecnu.edu.cn의 이메일 확인됨

팔로우

Iliano Cervesato

Professor of Computer Science, Carnegie Mellon University

cmu.edu의 이메일 확인됨 - 홈페이지

Computational logic programming languages computer security


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
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	385	1999
A linear logical framework I Cervesato, F Pfenning Information and computation 179 (1), 19-75, 2002	308	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	237	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	170	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	157	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	122	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	118	2000
A Linear Spine Calculus I Cervesato, F Pfenning	118*	1997
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	108	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	93	2006
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
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	75	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

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자