2008 |
17 | EE | 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 | EE | 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 | EE | 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 | EE | Aaron D. Jaggard:
An almost-bijective proof of an asymptotic property of partitions.
Random Struct. Algorithms 31(2): 247-250 (2007) |
2006 |
13 | EE | Iliano Cervesato,
Aaron D. Jaggard,
Andre Scedrov,
Joe-Kai Tsay,
Christopher Walstad:
Breaking and Fixing Public-Key Kerberos.
ASIAN 2006: 167-181 |
12 | EE | 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 | EE | Aaron D. Jaggard,
Vijay Ramachandran:
Robust Path-Vector Routing Despite Inconsistent Route Preferences.
ICNP 2006: 270-279 |
10 | EE | 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 | EE | Aaron D. Jaggard,
Vijay Ramachandran:
Relating two formal models of path-vector routing.
INFOCOM 2005: 619-630 |
8 | EE | Iliano Cervesato,
Aaron D. Jaggard,
Andre Scedrov,
Christopher Walstad:
Specifying Kerberos 5 cross-realm authentication.
WITS 2005: 12-26 |
7 | EE | Aaron D. Jaggard:
Subsequence Containment by Involutions.
Electr. J. Comb. 12: (2005) |
6 | EE | Aaron D. Jaggard,
Vijay Ramachandran:
Toward the design of robust interdomain routing protocols.
IEEE Network 19(6): 35-41 (2005) |
2004 |
5 | EE | Aaron D. Jaggard,
Vijay Ramachandran:
Robustness of Class-Based Path-Vector Systems.
ICNP 2004: 84-93 |
2003 |
4 | EE | Frederick Butler,
Iliano Cervesato,
Aaron D. Jaggard,
Andre Scedrov:
Verifying Confidentiality and Authentication in Kerberos 5.
ISSS 2003: 1-24 |
3 | EE | Timothy Griffin,
Aaron D. Jaggard,
Vijay Ramachandran:
Design principles of policy languages for path vector protocols.
SIGCOMM 2003: 61-72 |
2002 |
2 | EE | Frederick Butler,
Iliano Cervesato,
Aaron D. Jaggard,
Andre Scedrov:
A Formal Analysis of Some Properties of Kerberos 5 Using MSR.
CSFW 2002: 175- |
1 | EE | Aaron D. Jaggard:
Prefix Exchanging and Pattern Avoidance by Involutions.
Electr. J. Comb. on(2): (2002) |