Homepage
Publications organized by: Topic  Year  Type
Publications by Type
Jump to: Work in progress  Refereed conferences/workshops  Journal papers  Refereed papers/abstracts without published proceedings  White papers, etc.  Book chapters  Technical reports
See also (partial) lists on: DBLP  arXiv  Google Scholar
Refereed Conference and Workshop Papers

Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright, "Selfstabilizing uncoupled dynamics"

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"
 Aaron D. Jaggard, Swara Kopparty, Vijay Ramachandran, and Rebecca N. Wright, "The Design Space of Probing Algorithms for NetworkPerformance Measurement"
 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)''
 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"
 Joan Feigenbaum, Aaron D. Jaggard, and Michael Schapira, "Approximate Privacy: Foundations and Quantification (Extended Abstract)"
 Aaron D. Jaggard, Catherine Meadows, Michael Mislove, and Roberto Segala, "Reasoning About Probabilistic Security Using TaskPIOAs"
 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"
 B. Blanchet, A. D. Jaggard, A. Scedrov, and J.K. Tsay, "Computationally Sound Mechanized Proofs for Basic and Publickey Kerberos,"
 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]
 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
 I. Cervesato, A. D. Jaggard, A. Scedrov, J.K. Tsay, and C. Walstad, "Breaking and Fixing PublicKey Kerberos,"
 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)
 Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, and Chris Walstad, "Specifying Kerberos 5 CrossRealm Authentication,"
 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,"
 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,"
Journal 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"
 Proceedings on Privacy Enhancing Technologies, to appear. [21page pdf]
 Talk to be presented at PETS 2015
 Joan Feigenbaum, Aaron D. Jaggard, and Michael Schapira, "Approximate Privacy: Foundations and Quantification"
 Alex Fabrikant, Aaron D. Jaggard, and Michael Schapira, "On the Structure of Weakly Acyclic Games"
 Andrew M. Baxter and Aaron D. Jaggard, "Pattern avoidance by even permutations''
 Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, and JoeKai Tsay, "Cryptographically Sound Security Proofs for Basic and PublicKey Kerberos"
 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
 I. Cervesato, A. D. Jaggard, A. Scedrov, J.K. Tsay, and C. Walstad, "Breaking and Fixing PublicKey Kerberos,"
 F. Butler, I. Cervesato, A. D. Jaggard, A. Scedrov, and C. Walstad, "Formal Analysis of Kerberos 5,"
 Aaron D. Jaggard and Vijay Ramachandran, "Towards the Design of Robust Interdomain Routing Protocols," IEEE Network 19 (6), 3541 (2005).
 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.
 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)
Refereed Papers without Published Proceedings

Aaron D. Jaggard, Aaron Johnson, Paul Syverson, and Joan Feigenbaum, "Representing Network Trust and Using It to Improve Anonymous Communication"
 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",
 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,"
 Sixth Workshop on Issues in the Theory of Security  WITS'06 (Dieter Gollmann and Jan Juerjens, editors), pp. 5570, Vienna, Austria, 2526 March 2006.
White Papers, etc.
 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]
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)
Technical Reports
 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]
 Aaron D. Jaggard, Vijay Ramachandran, and Rebecca N. Wright, "Towards a Realistic Model of Incentives in Interdomain Routing: Decoupling Forwarding from Signaling"
 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]
Tuesday, November 11, 2014 at 17:46