Aaron D. Jaggard

Andrew Baxter, Aaron D. Jaggard: Pattern Avoidance by Even Permutations. Electr. J. Comb. 18(2) (2011)

Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay: Cryptographically sound security proofs for basic and public-key Kerberos. Int. J. Inf. Sec. 10(2): 107-134 (2011)

Aaron D. Jaggard, Michael Schapira, Rebecca N. Wright: Distributed Computing with Adaptive Heuristics. ICS 2011: 417-443

Joan Feigenbaum, Aaron D. Jaggard, Rebecca N. Wright: Towards a formal model of accountability. NSPW 2011: 45-56

Aaron D. Jaggard, Michael Schapira, Rebecca N. Wright: Distributed computing with rules of thumb. PODC 2011: 333-334

Alex Fabrikant, Aaron D. Jaggard, Michael Schapira: On the Structure of Weakly Acyclic Games. CoRR abs/1108.2092 (2011)

Aaron D. Jaggard, Catherine Meadows, Michael W. Mislove, Roberto Segala: Reasoning about Probabilistic Security Using Task-PIOAs. ARSPA-WITS 2010: 2-22

Alex Fabrikant, Aaron D. Jaggard, Michael Schapira: On the Structure of Weakly Acyclic Games. SAGT 2010: 126-137

Joan Feigenbaum, Aaron D. Jaggard, Michael Schapira: Approximate privacy: foundations and quantification (extended abstract). ACM Conference on Electronic Commerce 2010: 167-178

Joan Feigenbaum, Aaron D. Jaggard, Michael Schapira: Approximate Privacy: PARs for Set Problems. CoRR abs/1001.3388 (2010)

Aaron D. Jaggard, Vijay Ramachandran, Rebecca N. Wright: The Impact of Communication Models on Routing-Algorithm Convergence. ICDCS 2009: 58-67

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)

Joan Feigenbaum, Aaron D. Jaggard, Michael Schapira: Approximate Privacy: Foundations and Quantification. CoRR abs/0910.5714 (2009)

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)

Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay: Computationally sound mechanized proofs for basic and public-key Kerberos. ASIACCS 2008: 87-99

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

Aaron D. Jaggard: An almost-bijective proof of an asymptotic property of partitions. Random Struct. Algorithms 31(2): 247-250 (2007)

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)

Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad: Breaking and Fixing Public-Key Kerberos. ASIAN 2006: 167-181

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

Aaron D. Jaggard, Vijay Ramachandran: Robust Path-Vector Routing Despite Inconsistent Route Preferences. ICNP 2006: 270-279

Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad: Breaking and Fixing Public-Key Kerberos. IACR Cryptology ePrint Archive 2006: 9 (2006)

Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay: Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. IACR Cryptology ePrint Archive 2006: 219 (2006)

Aaron D. Jaggard: Subsequence Containment by Involutions. Electr. J. Comb. 12 (2005)

Aaron D. Jaggard, Vijay Ramachandran: Toward the design of robust interdomain routing protocols. IEEE Network 19(6): 35-41 (2005)

Aaron D. Jaggard, Vijay Ramachandran: Relating two formal models of path-vector routing. INFOCOM 2005: 619-630

Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad: Specifying Kerberos 5 cross-realm authentication. WITS 2005: 12-26

Aaron D. Jaggard, Vijay Ramachandran: Robustness of Class-Based Path-Vector Systems. ICNP 2004: 84-93

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov: Verifying Confidentiality and Authentication in Kerberos 5. ISSS 2003: 1-24

Timothy Griffin, Aaron D. Jaggard, Vijay Ramachandran: Design principles of policy languages for path vector protocols. SIGCOMM 2003: 61-72

Aaron D. Jaggard: Prefix Exchanging and Pattern Avoidance by Involutions. Electr. J. Comb. on(2) (2002)

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov: A Formal Analysis of Some Properties of Kerberos 5 Using MSR. CSFW 2002: 175-