dblp.uni-trier.dewww.uni-trier.de

Aaron D. Jaggard

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
17EEBruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay: Computationally sound mechanized proofs for basic and public-key Kerberos. ASIACCS 2008: 87-99
16EESharon Goldberg, Shai Halevi, Aaron D. Jaggard, Vijay Ramachandran, Rebecca N. Wright: Rationality and traffic attraction: incentives for honest path announcements in bgp. SIGCOMM 2008: 267-278
15EEIliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad: Breaking and fixing public-key Kerberos. Inf. Comput. 206(2-4): 402-424 (2008)
2007
14EEAaron D. Jaggard: An almost-bijective proof of an asymptotic property of partitions. Random Struct. Algorithms 31(2): 247-250 (2007)
2006
13EEIliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad: Breaking and Fixing Public-Key Kerberos. ASIAN 2006: 167-181
12EEMichael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay: Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. ESORICS 2006: 362-383
11EEAaron D. Jaggard, Vijay Ramachandran: Robust Path-Vector Routing Despite Inconsistent Route Preferences. ICNP 2006: 270-279
10EEFrederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad: Formal analysis of Kerberos 5. Theor. Comput. Sci. 367(1-2): 57-87 (2006)
2005
9EEAaron D. Jaggard, Vijay Ramachandran: Relating two formal models of path-vector routing. INFOCOM 2005: 619-630
8EEIliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad: Specifying Kerberos 5 cross-realm authentication. WITS 2005: 12-26
7EEAaron D. Jaggard: Subsequence Containment by Involutions. Electr. J. Comb. 12: (2005)
6EEAaron D. Jaggard, Vijay Ramachandran: Toward the design of robust interdomain routing protocols. IEEE Network 19(6): 35-41 (2005)
2004
5EEAaron D. Jaggard, Vijay Ramachandran: Robustness of Class-Based Path-Vector Systems. ICNP 2004: 84-93
2003
4EEFrederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov: Verifying Confidentiality and Authentication in Kerberos 5. ISSS 2003: 1-24
3EETimothy Griffin, Aaron D. Jaggard, Vijay Ramachandran: Design principles of policy languages for path vector protocols. SIGCOMM 2003: 61-72
2002
2EEFrederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov: A Formal Analysis of Some Properties of Kerberos 5 Using MSR. CSFW 2002: 175-
1EEAaron D. Jaggard: Prefix Exchanging and Pattern Avoidance by Involutions. Electr. J. Comb. on(2): (2002)

Coauthor Index

1Michael Backes [12]
2Bruno Blanchet [17]
3Frederick Butler [2] [4] [10]
4Iliano Cervesato [2] [4] [8] [10] [12] [13] [15]
5Sharon Goldberg [16]
6Timothy G. Griffin (Timothy Griffin) [3]
7Shai Halevi [16]
8Vijay Ramachandran [3] [5] [6] [9] [11] [16]
9Andre Scedrov [2] [4] [8] [10] [12] [13] [15] [17]
10Joe-Kai Tsay [12] [13] [15] [17]
11Christopher Walstad [8] [10] [13] [15]
12Rebecca N. Wright [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)