Aaron D. Jaggard

	2009
20		Aaron D. Jaggard, Vijay Ramachandran, Rebecca N. Wright: The Impact of Communication Models on Routing-Algorithm Convergence. ICDCS 2009: 58-67
19		Aaron D. Jaggard, Michael Schapira, Rebecca N. Wright: Towards a Unified Approach to (In)Decision: Routing, Games, Circuits, Consensus, and Beyond CoRR abs/0910.1585: (2009)
18		Joan Feigenbaum, Aaron D. Jaggard, Michael Schapira: Approximate Privacy: Foundations and Quantification CoRR abs/0910.5714: (2009)
	2008
17		Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay: Computationally sound mechanized proofs for basic and public-key Kerberos. ASIACCS 2008: 87-99
16		Sharon 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
15		Iliano 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
14		Aaron D. Jaggard: An almost-bijective proof of an asymptotic property of partitions. Random Struct. Algorithms 31(2): 247-250 (2007)
	2006
13		Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad: Breaking and Fixing Public-Key Kerberos. ASIAN 2006: 167-181
12		Michael 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
11		Aaron D. Jaggard, Vijay Ramachandran: Robust Path-Vector Routing Despite Inconsistent Route Preferences. ICNP 2006: 270-279
10		Frederick 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
9		Aaron D. Jaggard, Vijay Ramachandran: Relating two formal models of path-vector routing. INFOCOM 2005: 619-630
8		Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad: Specifying Kerberos 5 cross-realm authentication. WITS 2005: 12-26
7		Aaron D. Jaggard: Subsequence Containment by Involutions. Electr. J. Comb. 12: (2005)
6		Aaron D. Jaggard, Vijay Ramachandran: Toward the design of robust interdomain routing protocols. IEEE Network 19(6): 35-41 (2005)
	2004
5		Aaron D. Jaggard, Vijay Ramachandran: Robustness of Class-Based Path-Vector Systems. ICNP 2004: 84-93
	2003
4		Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov: Verifying Confidentiality and Authentication in Kerberos 5. ISSS 2003: 1-24
3		Timothy Griffin, Aaron D. Jaggard, Vijay Ramachandran: Design principles of policy languages for path vector protocols. SIGCOMM 2003: 61-72
	2002
2		Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov: A Formal Analysis of Some Properties of Kerberos 5 Using MSR. CSFW 2002: 175-
1		Aaron D. Jaggard: Prefix Exchanging and Pattern Avoidance by Involutions. Electr. J. Comb. on(2): (2002)

Coauthor Index

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

Colors in the list of coauthors