Aaron D. Jaggard

53 papers A* 7A 5B 4C 1Journal 26Unranked 10

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