Homepage
Publications organized by: Topic  Year  Type
Publications by Topic
Jump to: Security  Privacy and Accountability  Routing and Distributed Computing  Combinatorics  Fractal Electrodynamics
See also (partial) lists on: DBLP  arXiv  Google Scholar
Analysis of Security Protocols
Collaborators
Michael Backes,
Bruno Blanchet,
Fred Butler,
Iliano Cervesato,
Cathy Meadows,
Mike Mislove,
Jesse Rao,
Andre Scedrov,
Roberto Segala,
JoeKai Tsay,
Chris Walstad
Papers
 Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, and JoeKai Tsay, "Cryptographically Sound Security Proofs for Basic and PublicKey Kerberos"
 Aaron D. Jaggard, Catherine Meadows, Michael Mislove, and Roberto Segala, "Reasoning About Probabilistic Security Using TaskPIOAs"
 Bruno Blanchet, Aaron D. Jaggard, Jesse Rao, Andre Scedrov, and JoeKai Tsay, "Refining Computationally Sound Mechanized Proofs for Kerberos"
 Aaron D. Jaggard, Cathy Meadows, Michael Mislove, and Roberto Segala, "Task Probabilistic Input/Ouput Automata as Domains",
 B. Blanchet, A. D. Jaggard, A. Scedrov, and J.K. Tsay, "Computationally Sound Mechanized Proofs for Basic and Publickey Kerberos,"
 Proceedings of ASIACCS 2008, pp. 8799 (2008). doi:10.1145/1368310.1368326
This extends the work presented in:
 Aaron D. Jaggard, Andre Scedrov, and JoeKai Tsay, "Computationally Sound Mechanized Proof of PKINIT for Kerberos,"
 I. Cervesato, A. D. Jaggard, A. Scedrov, J.K. Tsay, and C. Walstad, "Breaking and Fixing PublicKey Kerberos,"
 Information and Computation 206, pp. 402424 (2008). doi:10.1016/j.ic.2007.05.005
 This work is related to Microsoft Security Bulletin MS05042.
This extends preliminary work presented in:
 I. Cervesato, A. D. Jaggard, A. Scedrov, J.K. Tsay, and C. Walstad, "Breaking and Fixing PublicKey Kerberos,"
 I. Cervesato, A. D. Jaggard, A. Scedrov, J.K. Tsay, and C. Walstad, "Breaking and Fixing PublicKey Kerberos,"
 Sixth Workshop on Issues in the Theory of Security  WITS'06 (Dieter Gollmann and Jan Juerjens, editors), pp. 5570, Vienna, Austria, 2526 March 2006.
 M. Backes, I. Cervesato, A. D. Jaggard, A. Scedrov, J.K. Tsay, "Cryptographically Sound Security Proofs for Basic and PublicKey Kerberos,"
 ESORICS 2006
 Expanded version on Cryptology ePrint Archive: Report 2006/219
 F. Butler, I. Cervesato, A. D. Jaggard, A. Scedrov, and C. Walstad, "Formal Analysis of Kerberos 5,"
 Theoretical Computer Science 367, pp. 5787 (2006) doi:10.1016/j.tcs.2006.08.040
This extends preliminary work presented in:
 Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, and Chris Walstad, "Specifying Kerberos 5 CrossRealm Authentication,"
 Fred Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov, "A Formal Analysis of Some Properties of Kerberos 5 using MSR"
 UPenn CIS Technical Report MSCIS0404 (59 pages, April 2004).
[PDF] [PS]
 Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov, "Verifying Confidentiality and Authentication in Kerberos 5,"
 In Software Security  Theories and Systems  ISSS 2003, SpringerVerlag LNCS 3233, K. Futatsugi, F. Mizoguchi, and N. Yonezaki, eds. doi:10.1007/b102118
 Fred Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov, "A formal analysis of some properties of Kerberos 5 using MSR,"
Privacy and Accountability
Collaborators
Sarah Cortes,
Joan Feigenbaum,
Jim Hendler,
Aaron Johnson,
Michael Schapira,
Paul Syverson
Danny Weitzner,
Rebecca Wright,
Hongda Xiao
Papers

Aaron D. Jaggard, Aaron Johnson, Sarah Cortes, Paul Syverson, and Joan Feigenbaum, "20,000 In League Under the Sea: Anonymous Communication, Trust, MLATs, and Undersea Cables"

Aaron D. Jaggard, Aaron Johnson, Paul Syverson, and Joan Feigenbaum, "Representing Network Trust and Using It to Improve Anonymous Communication"

Joan Feigenbaum, Aaron D. Jaggard, and Rebecca N. Wright, "Open vs. Closed Systems for Accountability"

Aaron D. Jaggard and Rebecca N. Wright, "Strange Bedfellows: How and When to Work with Your Enemy"
 Joan Feigenbaum, Aaron D. Jaggard, and Michael Schapira, "Approximate Privacy: Foundations and Quantification"
 Joan Feigenbaum, Aaron D. Jaggard, and Rebecca N. Wright, "Accountability as an Interface between Cybersecurity and Social Science"
 White paper for the Workshop to Explore Social Science Contributions to Cyber Security (April 2013) [Onepage pdf]
 Joan Feigenbaum, Aaron D. Jaggard, Rebecca N. Wright, and Hongda Xiao, "Systematizing 'Accountability' in Computer Science"
 Yale DCS TR 1452 (version of Feb. 17, 2012) [13page pdf]
 Joan Feigenbaum, Aaron D. Jaggard, and Rebecca N. Wright, "Towards a Formal Model of Accountability"
 Proceedings of NSPW 2011, pp. 4556 (2011) doi:10.1145/2073276.2073282
 11page pdf (Copyright ACM 2011. This is the authors' version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the Proceedings of NSPW'11.)
 Joan Feigenbaum, James Hendler, Aaron D. Jaggard, Daniel Weitzner, and Rebecca N. Wright, "Accountability and Deterrence in Online Life (Extended Abstract)''
 Joan Feigenbaum, Aaron D. Jaggard, and Michael Schapira, "Approximate Privacy: Foundations and Quantification (Extended Abstract)"
Theory for Network Routing and Distributed Computing
Collaborators
Alex Fabrikant,
Sharon Goldberg,
Tim Griffin,
Shai Halevi,
Swara Kopparty,
Vijay Ramachandran,
Michael Schapira,
Rebecca Wright,
Syeda Arzoo Zehra
Papers

Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright, "Selfstabilizing uncoupled dynamics"
 Alex Fabrikant, Aaron D. Jaggard, and Michael Schapira, "On the Structure of Weakly Acyclic Games"
 Aaron D. Jaggard, Swara Kopparty, Vijay Ramachandran, and Rebecca N. Wright, "The Design Space of Probing Algorithms for NetworkPerformance Measurement"
 Aaron D. Jaggard, Michael Schapira, and Rebecca N. Wright, "Distributed Computing with Adaptive Heuristics"
 Alex Fabrikant, Aaron D. Jaggard, and Michael Schapira, "On the Structure of Weakly Acyclic Games"
 Aaron D. Jaggard, Vijay Ramachandran, and Rebecca N. Wright, "The Impact of Communication Models on RoutingAlgorithm Convergence"
 Sharon Goldberg, Shai Halevi, Aaron D. Jaggard, Vijay Ramachandran, and Rebecca N. Wright, "Rationality and Traffic Attraction: Incentives for Honest Path Announcements in BGP"
 Aaron D. Jaggard, Vijay Ramachandran, and Rebecca N. Wright, "Towards a Realistic Model of Incentives in Interdomain Routing: Decoupling Forwarding from Signaling"
 Aaron D. Jaggard and Vijay Ramachandran, "Robust PathVector Routing Despite Inconsistent Route Preferences"
 Proceedings of IEEE ICNP 2006 (Santa Barbara, USA, November 2006)
 (Extended preliminary version) Yale CS Technical Report 1314 [.pdf]
 Aaron D. Jaggard and Vijay Ramachandran, "Towards the Design of Robust Interdomain Routing Protocols," IEEE Network 19 (6), 3541 (2005).
 Preliminary version [.pdf]
 Aaron D. Jaggard and Vijay Ramachandran, "Relating Two Formal Models of PathVector Routing,"
 Proceedings of IEEE INFOCOM 2005 (Miami, USA, March 2005) [.pdf] [.ps]
 (Extended version) Yale CS Technical Report 1301 (in preparation)
 Aaron D. Jaggard and Vijay Ramachandran, "Robustness of ClassBased PathVector Systems,"
 Proceedings of ICNP 2004 (Berlin, Germany, October 2004) [.pdf] [.ps]
 (Extended version) Yale CS Technical Report 1296 (in preparation)
 Timothy G. Griffin, Aaron D. Jaggard, and Vijay Ramachandran,
"Design Principles of Policy Languages for Path Vector Protocols,"
Combinatorial Properties of Permutations
Collaborators
Andrew Baxter,
Joe Marincel
Papers
 Andrew M. Baxter and Aaron D. Jaggard, "Pattern avoidance by even permutations''
 Aaron D. Jaggard and Joseph J. Marincel, "Generatingtree isomorphisms for patternavoiding involutions"
 Aaron D. Jaggard, "An almostbijective proof of an asymptotic property of partitions," Random Structures & Algorithms, 31 (2), 2007, pp. 247250. doi:10.1002/rsa.20180
 Aaron D. Jaggard, "Subsequence containment by involutions," Electronic Journal of Combinatorics 12 (1), 2005 #R14, 15 pages.
 Aaron D. Jaggard, "Prefix exchanging and pattern avoidance by involutions," Electronic Journal of Combinatorics 9 (2), 2003 #R16, 24 pages.
Fractal Electrodynamics
Collaborators
Dwight Jaggard
Papers
 Dwight L. Jaggard and Aaron D. Jaggard, "Fractal Ring
Arrays," Wave Motion (Special Issue: Electrodynamics in Complex
Environments). 34 281299 (2001).
 Aaron D. Jaggard and Dwight L. Jaggard, "Cantor Ring Diffractals,"
Optics Comm. 158, 141148 (1998).
 Dwight L. Jaggard and Aaron D. Jaggard, "Cantor Ring Arrays,"
Microwave and Optical Technology Letters 19, 121125 (1998).
 Aaron D. Jaggard and Dwight L. Jaggard, "Scattering from Fractal Superlattices with Variable Lacunarity," J. Opt. Soc. Am. A
15, 16261635 (1998)
 Dwight L. Jaggard and Aaron D. Jaggard, "Polyadic Cantor Superlattices
with Variable Lacunarity," Opt. Lett. 22, 145147 (1997)
Book Chapters
 Dwight L. Jaggard, Aaron D. Jaggard, and Panayiotis V. Frangos,
"Fractal Electrodynamics: Surfaces and Superlattices," Chapter 1 (pages 147)
in Frontiers in Electromagnetics, Douglas H. Werner and Raj
Mittra, eds., IEEE Press (2000)
 Douglas H. Werner, Pingjuan L. Werner, Dwight L. Jaggard,
Aaron D. Jaggard, Carles Puente, and Randy L. Haupt "The Theory and
Design of Fractal Antenna Arrays," Chapter 3 (pages 94203) in Frontiers
in Electromagnetics, Douglas H. Werner and Raj Mittra, eds., IEEE
Press (2000)
Tuesday, November 11, 2014 at 17:46