Iliano Cervesato 个人学术档案

引用次数

	总计	2019 年至今
引用	4002	676
h 指数	31	12
i10 指数	59	14

240

120

180

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202418 12 18 32 33 46 76 104 152 161 160 162 237 226 231 216 187 172 160 139 137 113 120 118 114 105 99 153 125 136 57

开放获取的出版物数量

查看全部

5 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Frank PfenningProfessor of Computer Science, Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvania在 math.upenn.edu 的电子邮件经过验证
Angelo MontanariProfessor of Computer Science, Univ. of Udine在 uniud.it 的电子邮件经过验证
Aaron D. JaggardU.S. Naval Research Laboratory在 dimacs.rutgers.edu 的电子邮件经过验证
patrick lincolnSRI在 sri.com 的电子邮件经过验证
David WalkerPrinceton University在 cs.princeton.edu 的电子邮件经过验证
Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratory在 nrl.navy.mil 的电子邮件经过验证
Edmund S L LamUniversity of Colorado Boulder在 colorado.edu 的电子邮件经过验证
Massimo FranceschetProfessor of Computer Science, University of Udine在 uniud.it 的电子邮件经过验证
Paul SyversonMathematician, U.S. Naval Research Laboratory在 nrl.navy.mil 的电子邮件经过验证
Stefano BistarelliFull professor of Computer Science at University of Perugia在 unipg.it 的电子邮件经过验证
Luca ChittaroFull professor of Human-Computer Interaction, University of Udine, Italy在 uniud.it 的电子邮件经过验证
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of Luxembourg在 uni.lu 的电子邮件经过验证
Robert J. SimmonsCarnegie Mellon University (formerly)在 cs.cmu.edu 的电子邮件经过验证
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information Security在 cispa.saarland 的电子邮件经过验证
Jesse ElwellGraduate Student in Computer Science, SUNY Binghamton在 binghamton.edu 的电子邮件经过验证
Ryan RileyCarnegie Mellon University in Qatar在 cmu.edu 的电子邮件经过验证
dusko pavlovicProfessor at University of Hawaii在 hawaii.edu 的电子邮件经过验证
Thierry SansProfessor of Computer Science, Carnegie Mellon University在 cmu.edu 的电子邮件经过验证
Yuxin DengProfessor, East China Normal University在 sei.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	379	1999
A linear logical framework I Cervesato, F Pfenning Information and computation 179 (1), 19-75, 2002	304	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	233	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	148	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	147	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	119	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	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
A Linear Spine Calculus I Cervesato, F Pfenning	113*	1997
Efficient resource management for linear logic proof search I Cervesato, JS Hodas, F Pfenning Theoretical Computer Science 232 (1-2), 133-163, 2000	99	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	92	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	90	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	89	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用