A Logic of Sattestation - Aaron D. Jaggard; Paul Syverson; Catherine Meadows (37th IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, July 8-12, 2024, 2024)

A Logic of Sattestation - Aaron D. Jaggard; Paul Syverson; Catherine Meadows (CoRR, 2024)

Throwing Your Weight Around: Fixing Tor's Positional Weighting - Aaron Johnson; Aaron D. Jaggard; Paul Syverson (Proc. Priv. Enhancing Technol., 2023)

Accountability in Computing: Concepts and Mechanisms - Joan Feigenbaum; Aaron D. Jaggard; Rebecca N. Wright (Found. Trends Priv. Secur., 2020)

NExtSteP: An Extensible Testbed for Network Covert Channels - Olga Chen; Aaron D. Jaggard; Catherine Meadows; Michael C. Shlanta (8th IEEE Conference on Communications and Network Security, CNS 2020, Avignon, France, June 29 - July 1, 2020, 2020)

Dynamics at the Boundary of Game Theory and Distributed Computing - Aaron D. Jaggard; Neil Lutz; Michael Schapira; Rebecca N. Wright (ACM Trans. Economics and Comput., 2017)

Avoiding The Man on the Wire: Improving Tor's Security with Trust-Aware Path Selection - Aaron Johnson; Rob Jansen; Aaron D. Jaggard; Joan Feigenbaum; Paul Syverson (24th Annual Network and Distributed System Security Symposium, NDSS 2017, San Diego, California, USA, February 26 - March 1, 2017, 2017)

Onions in the Crosshairs: When The Man really is out to get you - Aaron D. Jaggard; Paul Syverson (Proceedings of the 2017 on Workshop on Privacy in the Electronic Society, Dallas, TX, USA, October 30 - November 3, 2017, 2017)

Onions in the Crosshairs: When The Man really is out to get you - Aaron D. Jaggard; Paul Syverson (CoRR, 2017)

20, 000 In League Under the Sea: Anonymous Communication, Trust, MLATs, and Undersea Cables - Aaron D. Jaggard; Aaron Johnson; Sarah Cortes; Paul Syverson; Joan Feigenbaum (Proc. Priv. Enhancing Technol., 2015)

Dynamics at the Boundary of Game Theory and Distributed Computing - Aaron D. Jaggard; Neil Lutz; Michael Schapira; Rebecca N. Wright (CoRR, 2015)

Avoiding The Man on the Wire: Improving Tor's Security with Trust-Aware Path Selection - Aaron Johnson; Rob Jansen; Aaron D. Jaggard; Joan Feigenbaum; Paul F. Syverson (CoRR, 2015)

Approximate Privacy: Foundations and Quantification - Joan Feigenbaum; Aaron D. Jaggard; Michael Schapira (ACM Trans. Algorithms, 2014)

Open vs. closed systems for accountability - Joan Feigenbaum; Aaron D. Jaggard; Rebecca N. Wright (Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014, 2014)

Self-stabilizing Uncoupled Dynamics - Aaron D. Jaggard; Neil Lutz; Michael Schapira; Rebecca N. Wright (Algorithmic Game Theory - 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 - October 2, 2014. Proceedings, 2014)

Strange Bedfellows: How and When to Work with Your Enemy - Aaron D. Jaggard; Rebecca N. Wright (Security Protocols XXII - 22nd International Workshop Cambridge, UK, March 19-21, 2014 Revised Selected Papers, 2014)

Self-stabilizing uncoupled dynamics - Aaron D. Jaggard; Neil Lutz; Michael Schapira; Rebecca N. Wright (CoRR, 2014)

Representing Network Trust and Using It to Improve Anonymous Communication - Aaron D. Jaggard; Aaron Johnson; Paul F. Syverson; Joan Feigenbaum (CoRR, 2014)

On the Structure of Weakly Acyclic Games - Alex Fabrikant; Aaron D. Jaggard; Michael Schapira (Theory Comput. Syst., 2013)

The design space of probing algorithms for network-performance measurement - Aaron D. Jaggard; Swara Kopparty; Vijay Ramachandran; Rebecca N. Wright (ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS '13, Pittsburgh, PA, USA, June 17-21, 2013, 2013)

Pattern Avoidance by Even Permutations - Andrew Baxter; Aaron D. Jaggard (Electron. J. Comb., 2011)

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

Distributed Computing with Adaptive Heuristics - Aaron D. Jaggard; Michael Schapira; Rebecca N. Wright (Innovations in Computer Science - ICS 2011, Tsinghua University, Beijing, China, January 7-9, 2011. Proceedings, 2011)

Towards a formal model of accountability - Joan Feigenbaum; Aaron D. Jaggard; Rebecca N. Wright (2011 New Security Paradigms Workshop, NSPW '11, Marin County, CA, USA, September 12-15, 2011, 2011)

Distributed computing with rules of thumb - Aaron D. Jaggard; Michael Schapira; Rebecca N. Wright (Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, PODC 2011, San Jose, CA, USA, June 6-8, 2011, 2011)

Accountability and deterrence in online life - Joan Feigenbaum; James A. Hendler; Aaron D. Jaggard; Daniel J. Weitzner; Rebecca N. Wright (Web Science 2011, WebSci '11, Koblenz, Germany - June 15 - 17, 2011, 2011)

On the Structure of Weakly Acyclic Games - Alex Fabrikant; Aaron D. Jaggard; Michael Schapira (CoRR, 2011)

Reasoning about Probabilistic Security Using Task-PIOAs - Aaron D. Jaggard; Catherine Meadows; Michael W. Mislove; Roberto Segala (Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers, 2010)

On the Structure of Weakly Acyclic Games - Alex Fabrikant; Aaron D. Jaggard; Michael Schapira (Algorithmic Game Theory - Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010. Proceedings, 2010)

Approximate privacy: foundations and quantification (extended abstract) - Joan Feigenbaum; Aaron D. Jaggard; Michael Schapira (Proceedings 11th ACM Conference on Electronic Commerce (EC-2010), Cambridge, Massachusetts, USA, June 7-11, 2010, 2010)

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

The Impact of Communication Models on Routing-Algorithm Convergence - Aaron D. Jaggard; Vijay Ramachandran; Rebecca N. Wright (29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 22-26 June 2009, Montreal, Québec, Canada, 2009)

Towards a Unified Approach to (In)Decision: Routing, Games, Circuits, Consensus, and Beyond - Aaron D. Jaggard; Michael Schapira; Rebecca N. Wright (CoRR, 2009)

Approximate Privacy: Foundations and Quantification - Joan Feigenbaum; Aaron D. Jaggard; Michael Schapira (CoRR, 2009)

Breaking and fixing public-key Kerberos - Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Joe-Kai Tsay; Christopher Walstad (Inf. Comput., 2008)

Computationally sound mechanized proofs for basic and public-key Kerberos - Bruno Blanchet; Aaron D. Jaggard; Andre Scedrov; Joe-Kai Tsay (Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008, 2008)

Rationality and traffic attraction: incentives for honest path announcements in bgp - Sharon Goldberg; Shai Halevi; Aaron D. Jaggard; Vijay Ramachandran; Rebecca N. Wright (Proceedings of the ACM SIGCOMM 2008 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Seattle, WA, USA, August 17-22, 2008, 2008)

An almost-bijective proof of an asymptotic property of partitions - Aaron D. Jaggard (Random Struct. Algorithms, 2007)

Formal analysis of Kerberos 5 - Frederick Butler; Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Christopher Walstad (Theor. Comput. Sci., 2006)

Breaking and Fixing Public-Key Kerberos - Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Joe-Kai Tsay; Christopher Walstad (Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers, 2006)

Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos - Michael Backes; Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Joe-Kai Tsay (Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings, 2006)

Robust Path-Vector Routing Despite Inconsistent Route Preferences - Aaron D. Jaggard; Vijay Ramachandran (Proceedings of the 14th IEEE International Conference on Network Protocols, ICNP 2006, November 12-15, 2006, Santa Barbara, California, USA, 2006)

Breaking and Fixing Public-Key Kerberos - Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Joe-Kai Tsay; Christopher Walstad (IACR Cryptol. ePrint Arch., 2006)

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

Subsequence Containment by Involutions - Aaron D. Jaggard (Electron. J. Comb., 2005)

Toward the design of robust interdomain routing protocols - Aaron D. Jaggard; Vijay Ramachandran (IEEE Netw., 2005)

Relating two formal models of path-vector routing - Aaron D. Jaggard; Vijay Ramachandran (INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 13-17 March 2005, Miami, FL, USA, 2005)

Specifying Kerberos 5 cross-realm authentication - Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Christopher Walstad (Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005, 2005)

Robustness of Class-Based Path-Vector Systems - Aaron D. Jaggard; Vijay Ramachandran (12th IEEE International Conference on Network Protocols (ICNP 2004), 5-8 October 2004, Berlin, Germany, 2004)

Verifying Confidentiality and Authentication in Kerberos 5 - Frederick Butler; Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov (Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers, 2003)

Design principles of policy languages for path vector protocols - Timothy Griffin; Aaron D. Jaggard; Vijay Ramachandran (Proceedings of the ACM SIGCOMM 2003 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 25-29, 2003, Karlsruhe, Germany, 2003)

Prefix Exchanging and Pattern Avoidance by Involutions - Aaron D. Jaggard (Electron. J. Comb., 2002)

A Formal Analysis of Some Properties of Kerberos 5 Using MSR - Frederick Butler; Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov (15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada, 2002)