Iliano Cervesato

Dikutip oleh

	Semua	Sejak 2020
Kutipan	4082	651
indeks-h	32	11
indeks-i10	58	13

240

120

180

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 13 17 32 37 47 75 104 150 156 159 163 232 227 230 212 187 176 161 134 135 115 124 123 111 106 102 154 126 132 126 11

Akses publik

Lihat semua

5 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaEmail yang diverifikasi di math.upenn.edu
Angelo MontanariProfessor of Computer Science, Univ. of UdineEmail yang diverifikasi di uniud.it
Aaron D. JaggardU.S. Naval Research LaboratoryEmail yang diverifikasi di dimacs.rutgers.edu
patrick lincolnSRIEmail yang diverifikasi di sri.com
David WalkerPrinceton UniversityEmail yang diverifikasi di cs.princeton.edu
Edmund S L LamUniversity of Colorado BoulderEmail yang diverifikasi di colorado.edu
Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryEmail yang diverifikasi di nrl.navy.mil
Massimo FranceschetProfessor of Computer Science, University of UdineEmail yang diverifikasi di uniud.it
Paul SyversonMathematician, U.S. Naval Research LaboratoryEmail yang diverifikasi di nrl.navy.mil
Stefano BistarelliFull professor of Computer Science at University of PerugiaEmail yang diverifikasi di unipg.it
Luca ChittaroFull professor of Human-Computer Interaction, University of Udine, ItalyEmail yang diverifikasi di uniud.it
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgEmail yang diverifikasi di uni.lu
Robert J. SimmonsCarnegie Mellon University (formerly)Email yang diverifikasi di cs.cmu.edu
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityEmail yang diverifikasi di cispa.saarland
Jesse ElwellGraduate Student in Computer Science, SUNY BinghamtonEmail yang diverifikasi di binghamton.edu
Ryan RileyCarnegie Mellon University in QatarEmail yang diverifikasi di cmu.edu
dusko pavlovicProfessor at University of HawaiiEmail yang diverifikasi di hawaii.edu
Thierry SansProfessor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cmu.edu
Yuxin DengProfessor, East China Normal UniversityEmail yang diverifikasi di sei.ecnu.edu.cn

Ikuti

Iliano Cervesato

Professor of Computer Science, Carnegie Mellon University

Email yang diverifikasi di cmu.edu - Beranda

Computational logic programming languages computer security


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	384	1999
A linear logical framework I Cervesato, F Pfenning Information and computation 179 (1), 19-75, 2002	309	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	227	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	158	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	127	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	124	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	117*	1997
A concurrent logical framework II: Examples and applications I Cervesato, F Pfenning, D Walker, K Watkins Carnegie Mellon University, 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
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
Relating state-based and process-based concurrency through linear logic (full-version) I Cervesato, A Scedrov Information and Computation 207 (10), 1044-1077, 2009	91	2009
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
A Formal Analysis of Some Properties of Kerberos 5 Using MSR. F Butler, I Cervesato, AD Jaggard, A Scedrov CSFW 2, 175-190, 2002	90	2002
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	89	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	77	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	71	2005
Typed MSR: Syntax and examples I Cervesato International Workshop on Mathematical Methods, Models, and Architectures …, 2001	65	2001

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama