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

  1. Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright, "Self-stabilizing uncoupled dynamics"
  2. Joan Feigenbaum, Aaron D. Jaggard, and Rebecca N. Wright, "Open vs. Closed Systems for Accountability"
  3. Aaron D. Jaggard and Rebecca N. Wright, "Strange Bedfellows: How and When to Work with Your Enemy"
  4. Aaron D. Jaggard, Swara Kopparty, Vijay Ramachandran, and Rebecca N. Wright, "The Design Space of Probing Algorithms for Network-Performance Measurement"
  5. Joan Feigenbaum, Aaron D. Jaggard, and Rebecca N. Wright, "Towards a Formal Model of Accountability"
  6. Joan Feigenbaum, James Hendler, Aaron D. Jaggard, Daniel Weitzner, and Rebecca N. Wright, "Accountability and Deterrence in Online Life (Extended Abstract)''
  7. Aaron D. Jaggard, Michael Schapira, and Rebecca N. Wright, "Distributed Computing with Adaptive Heuristics"
  8. Alex Fabrikant, Aaron D. Jaggard, and Michael Schapira, "On the Structure of Weakly Acyclic Games"
  9. Joan Feigenbaum, Aaron D. Jaggard, and Michael Schapira, "Approximate Privacy: Foundations and Quantification (Extended Abstract)"
  10. Aaron D. Jaggard, Catherine Meadows, Michael Mislove, and Roberto Segala, "Reasoning About Probabilistic Security Using Task-PIOAs"
  11. Aaron D. Jaggard, Vijay Ramachandran, and Rebecca N. Wright, "The Impact of Communication Models on Routing-Algorithm Convergence"
  12. Sharon Goldberg, Shai Halevi, Aaron D. Jaggard, Vijay Ramachandran, and Rebecca N. Wright, "Rationality and Traffic Attraction: Incentives for Honest Path Announcements in BGP"
  13. B. Blanchet, A. D. Jaggard, A. Scedrov, and J.-K. Tsay, "Computationally Sound Mechanized Proofs for Basic and Public-key Kerberos,"
  14. Aaron D. Jaggard and Vijay Ramachandran, "Robust Path-Vector Routing Despite Inconsistent Route Preferences"
  15. M. Backes, I. Cervesato, A. D. Jaggard, A. Scedrov, J.-K. Tsay, "Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos,"
  16. I. Cervesato, A. D. Jaggard, A. Scedrov, J.-K. Tsay, and C. Walstad, "Breaking and Fixing Public-Key Kerberos,"
  17. Aaron D. Jaggard and Vijay Ramachandran, "Relating Two Formal Models of Path-Vector Routing,"
  18. Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, and Chris Walstad, "Specifying Kerberos 5 Cross-Realm Authentication,"
  19. Aaron D. Jaggard and Vijay Ramachandran, "Robustness of Class-Based Path-Vector Systems,"
  20. Timothy G. Griffin, Aaron D. Jaggard, and Vijay Ramachandran, "Design Principles of Policy Languages for Path Vector Protocols,"
  21. Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov, "Verifying Confidentiality and Authentication in Kerberos 5,"
  22. Fred Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov, "A formal analysis of some properties of Kerberos 5 using MSR,"

Journal Papers

  1. Joan Feigenbaum, Aaron D. Jaggard, and Michael Schapira, "Approximate Privacy: Foundations and Quantification"
  2. Alex Fabrikant, Aaron D. Jaggard, and Michael Schapira, "On the Structure of Weakly Acyclic Games"
  3. Andrew M. Baxter and Aaron D. Jaggard, "Pattern avoidance by even permutations''
  4. Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, and Joe-Kai Tsay, "Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos"
  5. Aaron D. Jaggard and Joseph J. Marincel, "Generating-tree isomorphisms for pattern-avoiding involutions"
  6. Aaron D. Jaggard, "An almost-bijective proof of an asymptotic property of partitions," Random Structures & Algorithms, 31 (2), 2007, pp. 247--250. doi:10.1002/rsa.20180
  7. I. Cervesato, A. D. Jaggard, A. Scedrov, J.-K. Tsay, and C. Walstad, "Breaking and Fixing Public-Key Kerberos,"
  8. F. Butler, I. Cervesato, A. D. Jaggard, A. Scedrov, and C. Walstad, "Formal Analysis of Kerberos 5,"
  9. Aaron D. Jaggard and Vijay Ramachandran, "Towards the Design of Robust Inter-domain Routing Protocols," IEEE Network 19 (6), 35-41 (2005).
  10. Aaron D. Jaggard, "Subsequence containment by involutions," Electronic Journal of Combinatorics 12 (1), 2005 #R14, 15 pages.
  11. Aaron D. Jaggard, "Prefix exchanging and pattern avoidance by involutions," Electronic Journal of Combinatorics 9 (2), 2003 #R16, 24 pages.
  12. Dwight L. Jaggard and Aaron D. Jaggard, "Fractal Ring Arrays," Wave Motion (Special Issue: Electrodynamics in Complex Environments). 34 281-299 (2001).
  13. Aaron D. Jaggard and Dwight L. Jaggard, "Cantor Ring Diffractals," Optics Comm. 158, 141-148 (1998).
  14. Dwight L. Jaggard and Aaron D. Jaggard, "Cantor Ring Arrays," Microwave and Optical Technology Letters 19, 121-125 (1998).
  15. Aaron D. Jaggard and Dwight L. Jaggard, "Scattering from Fractal Superlattices with Variable Lacunarity," J. Opt. Soc. Am. A 15, 1626-1635 (1998)
  16. Dwight L. Jaggard and Aaron D. Jaggard, "Polyadic Cantor Superlattices with Variable Lacunarity," Opt. Lett. 22, 145-147 (1997)

Refereed Papers without Published Proceedings

  1. Aaron D. Jaggard, Aaron Johnson, Paul Syverson, and Joan Feigenbaum, "Representing Network Trust and Using It to Improve Anonymous Communication"
  2. Bruno Blanchet, Aaron D. Jaggard, Jesse Rao, Andre Scedrov, and Joe-Kai Tsay, "Refining Computationally Sound Mechanized Proofs for Kerberos"
  3. Aaron D. Jaggard, Cathy Meadows, Michael Mislove, and Roberto Segala, "Task Probabilistic Input/Ouput Automata as Domains",
  4. Aaron D. Jaggard, Andre Scedrov, and Joe-Kai Tsay, "Computationally Sound Mechanized Proof of PKINIT for Kerberos,"
  5. I. Cervesato, A. D. Jaggard, A. Scedrov, J.-K. Tsay, and C. Walstad, "Breaking and Fixing Public-Key Kerberos,"

White Papers, etc.

  1. Joan Feigenbaum, Aaron D. Jaggard, and Rebecca N. Wright, "Accountability as an Interface between Cybersecurity and Social Science"

Book Chapters

  1. Dwight L. Jaggard, Aaron D. Jaggard, and Panayiotis V. Frangos, "Fractal Electrodynamics: Surfaces and Superlattices," Chapter 1 (pages 1-47) in Frontiers in Electromagnetics, Douglas H. Werner and Raj Mittra, eds., IEEE Press (2000)
  2. 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 94-203) in Frontiers in Electromagnetics, Douglas H. Werner and Raj Mittra, eds., IEEE Press (2000)

Technical Reports

  1. Joan Feigenbaum, Aaron D. Jaggard, Rebecca N. Wright, and Hongda Xiao, "Systematizing 'Accountability' in Computer Science"
  2. Aaron D. Jaggard, Vijay Ramachandran, and Rebecca N. Wright, "Towards a Realistic Model of Incentives in Interdomain Routing: Decoupling Forwarding from Signaling"
  3. Fred Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov, "A Formal Analysis of Some Properties of Kerberos 5 using MSR"

Tuesday, November 11, 2014 at 17:46