Publications by Iliano Cervesato

2006 • Theoretical Computer Science • 367(1-2):57-87
Butler F, Cervesato I, Jaggard AD, Scedrov A, Walstad C

2006 • Electronic Notes in Theoretical Computer Science • 165:145-176
Cervesato I, Scedrov A

2006 • Advances in Information Security • 23:131-143
Cervesato I

2005 • Journal of Computer Security • 13(2):265-316
Cervesato I, Durgin NA, Lincoln PD, Mitchell JC, Scedrov A

2005 • Proceedings of the Computer Security Foundations Workshop • 48-61
Cervesato I, Meadows C, Pavlovic D

2005 • International Journal of Information Security • 4(1-2):1-1
Autexier S, Cervesato I, Mantel H

2005 • Electronic Notes in Theoretical Computer Science • 117:183-207
Cervesato I, Stehr M-O

2005 12-26
Cervesato I, Jaggard AD, Scedrov A, Walstad C

2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3085:355-377
Watkins K, Cervesato I, Pfenning F, Walker D

2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2809:415-426
Bistarelli S, Cervesato I, Lenzini G, Marangoni R, Martinelli F

2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3233:1-24
Butler F, Cervesato I, Jaggard AD, Scedrov A

2003 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2609:356-383
Cervesato I, Durgin N, Lincoln P, Mitchel J, Scedrov A

2003
Watkins K, Cervesato I, Pfenning F, Walker D

2003
Watkins K, Cervesato I, Pfenning F, Walker D

2003 • Journal of Logic and Computation • 13(5):639-688
Cervesato I, Pfenning F

2003 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2609:384-416
Cervesato I

2003 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2809:415-426
Bistarelli S, Cervesato I, Lenzini G, Marangoni R, Martinelli F

2003 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2776:86-99
Bistarelli S, Cervesato I, Lenzini G, Martinelli F

2002 • Proceedings of the Computer Security Foundations Workshop • 1-16
Butler F, Cervesato I, Jaggard AD, Scedrov A

2002 • Information and Computation • 179(1):19-75
Cervesato I, Pfenning F

2002 • Journal of Labor Economics • 20(2):S1-S4
Baker G, Shaw K, Smith A

2001 • Proceedings of the ACM Conference on Computer and Communications Security • 235-244
Meadows C, Syverson P, Cervesato I

2001 • Proceedings of the Computer Security Foundations Workshop
Cervesato I

2001 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2171:63-137
Syverson P, Cervesato I

2001 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2052:159-177
Cervesato I