Aaron D. Jaggard

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 8

Top Topics

Weighting Schemes

Top Venues

Proc. Priv. Enhancing Technol.

Publications

Aaron D. Jaggard, Paul Syverson, Catherine Meadows
A Logic of Sattestation. CoRR (2024)
Aaron Johnson, Aaron D. Jaggard, Paul Syverson
Throwing Your Weight Around: Fixing Tor's Positional Weighting. Proc. Priv. Enhancing Technol. 2023 (4) (2023)
Olga Chen, Aaron D. Jaggard, Catherine A. Meadows, Michael C. Shlanta
NExtSteP: An Extensible Testbed for Network Covert Channels. CNS (2020)
Joan Feigenbaum, Aaron D. Jaggard, Rebecca N. Wright
Accountability in Computing: Concepts and Mechanisms. Found. Trends Priv. Secur. 2 (4) (2020)
Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright
Dynamics at the Boundary of Game Theory and Distributed Computing. ACM Trans. Economics and Comput. 5 (3) (2017)
Aaron D. Jaggard, Paul Syverson
Onions in the Crosshairs: When The Man really is out to get you. CoRR (2017)
Aaron D. Jaggard, Paul Syverson
out to get you. WPES@CCS (2017)
Aaron Johnson, Rob Jansen, Aaron D. Jaggard, Joan Feigenbaum, Paul Syverson
Avoiding The Man on the Wire: Improving Tor's Security with Trust-Aware Path Selection. NDSS (2017)
Aaron Johnson, Rob Jansen, Aaron D. Jaggard, Joan Feigenbaum, Paul F. Syverson
Avoiding The Man on the Wire: Improving Tor's Security with Trust-Aware Path Selection. CoRR (2015)
Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright
Dynamics at the Boundary of Game Theory and Distributed Computing. CoRR (2015)
Aaron D. Jaggard, Aaron Johnson, Sarah Cortes, Paul Syverson, Joan Feigenbaum
20, 000 In League Under the Sea: Anonymous Communication, Trust, MLATs, and Undersea Cables. Proc. Priv. Enhancing Technol. 2015 (1) (2015)
Aaron D. Jaggard, Aaron Johnson, Paul F. Syverson, Joan Feigenbaum
Representing Network Trust and Using It to Improve Anonymous Communication. CoRR (2014)
Joan Feigenbaum, Aaron D. Jaggard, Michael Schapira
Approximate Privacy: Foundations and Quantification. ACM Trans. Algorithms 10 (3) (2014)
Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright
Self-stabilizing uncoupled dynamics. CoRR (2014)
Joan Feigenbaum, Aaron D. Jaggard, Rebecca N. Wright
Open vs. closed systems for accountability. HotSoS (2014)
Aaron D. Jaggard, Rebecca N. Wright
Strange Bedfellows: How and When to Work with Your Enemy. Security Protocols Workshop (2014)
Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright
Self-stabilizing Uncoupled Dynamics. SAGT (2014)
Alex Fabrikant, Aaron D. Jaggard, Michael Schapira
On the Structure of Weakly Acyclic Games. Theory Comput. Syst. 53 (1) (2013)
Aaron D. Jaggard, Swara Kopparty, Vijay Ramachandran, Rebecca N. Wright
The design space of probing algorithms for network-performance measurement. SIGMETRICS (2013)
Andrew Baxter, Aaron D. Jaggard
Pattern Avoidance by Even Permutations. Electron. J. Comb. 18 (2) (2011)
Joan Feigenbaum, James A. Hendler, Aaron D. Jaggard, Daniel J. Weitzner, Rebecca N. Wright
Accountability and deterrence in online life. WebSci (2011)
Aaron D. Jaggard, Michael Schapira, Rebecca N. Wright
Distributed computing with rules of thumb. PODC (2011)
Aaron D. Jaggard, Michael Schapira, Rebecca N. Wright
Distributed Computing with Adaptive Heuristics. ICS (2011)
Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Cryptographically sound security proofs for basic and public-key Kerberos. Int. J. Inf. Sec. 10 (2) (2011)
Alex Fabrikant, Aaron D. Jaggard, Michael Schapira
On the Structure of Weakly Acyclic Games CoRR (2011)
Joan Feigenbaum, Aaron D. Jaggard, Rebecca N. Wright
Towards a formal model of accountability. NSPW (2011)
Joan Feigenbaum, Aaron D. Jaggard, Michael Schapira
Approximate privacy: foundations and quantification (extended abstract). EC (2010)
Alex Fabrikant, Aaron D. Jaggard, Michael Schapira
On the Structure of Weakly Acyclic Games. SAGT (2010)
Aaron D. Jaggard, Catherine A. Meadows, Michael W. Mislove, Roberto Segala
Reasoning about Probabilistic Security Using Task-PIOAs. ARSPA-WITS (2010)
Joan Feigenbaum, Aaron D. Jaggard, Michael Schapira
Approximate Privacy: PARs for Set Problems CoRR (2010)
Aaron D. Jaggard, Vijay Ramachandran, Rebecca N. Wright
The Impact of Communication Models on Routing-Algorithm Convergence. ICDCS (2009)
Joan Feigenbaum, Aaron D. Jaggard, Michael Schapira
Approximate Privacy: Foundations and Quantification CoRR (2009)
Aaron D. Jaggard, Michael Schapira, Rebecca N. Wright
Towards a Unified Approach to (In)Decision: Routing, Games, Circuits, Consensus, and Beyond CoRR (2009)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
Breaking and fixing public-key Kerberos. Inf. Comput. 206 (2-4) (2008)
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)
Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Computationally sound mechanized proofs for basic and public-key Kerberos. AsiaCCS (2008)
Aaron D. Jaggard
An almost-bijective proof of an asymptotic property of partitions. Random Struct. Algorithms 31 (2) (2007)
Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad
Formal analysis of Kerberos 5. Theor. Comput. Sci. 367 (1-2) (2006)
Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. ESORICS (2006)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
Breaking and Fixing Public-Key Kerberos. IACR Cryptol. ePrint Arch. 2006 (2006)
Aaron D. Jaggard, Vijay Ramachandran
Robust Path-Vector Routing Despite Inconsistent Route Preferences. ICNP (2006)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
Breaking and Fixing Public-Key Kerberos. ASIAN (2006)
Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. IACR Cryptol. ePrint Arch. 2006 (2006)
Aaron D. Jaggard, Vijay Ramachandran
Relating two formal models of path-vector routing. INFOCOM (2005)
Aaron D. Jaggard, Vijay Ramachandran
Toward the design of robust interdomain routing protocols. IEEE Netw. 19 (6) (2005)
Aaron D. Jaggard
Subsequence Containment by Involutions. Electron. J. Comb. 12 (2005)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad
Specifying Kerberos 5 cross-realm authentication. WITS (2005)
Aaron D. Jaggard, Vijay Ramachandran
Robustness of Class-Based Path-Vector Systems. ICNP (2004)
Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov
Verifying Confidentiality and Authentication in Kerberos 5. ISSS (2003)
Timothy Griffin, Aaron D. Jaggard, Vijay Ramachandran
Design principles of policy languages for path vector protocols. SIGCOMM (2003)
Aaron D. Jaggard
Prefix Exchanging and Pattern Avoidance by Involutions. Electron. J. Comb. 9 (2) (2002)
Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov
A Formal Analysis of Some Properties of Kerberos 5 Using MSR. CSFW (2002)