17 citations · 38 across the 9 of their papers we have counts for
13 papers
A Logic of Sattestation
Aaron D. Jaggard, Paul Syverson, Catherine Meadows
We introduce a logic for reasoning about contextual trust for web addresses, provide a Kripke semantics for it, and prove its soundness under reasonable assumptions about principal…
Onions in the Crosshairs: When The Man really is out to get you
Aaron D. Jaggard, Paul Syverson
We introduce and investigate *targeting adversaries* who selectively attack users of Tor or other secure-communication networks. We argue that attacks by such adversaries are more…
Avoiding The Man on the Wire: Improving Tor's Security with Trust-Aware Path Selection
Aaron Johnson, Rob Jansen, Aaron D. Jaggard +2
Tor users are vulnerable to deanonymization by an adversary that can observe some Tor relays or some parts of the network. We demonstrate that previous network-aware path-selection…
Dynamics at the Boundary of Game Theory and Distributed Computing
Aaron D. Jaggard, Neil Lutz, Michael Schapira +1
We use ideas from distributed computing and game theory to study dynamic and decentralized environments in which computational nodes, or decision makers, interact strategically and…
Representing Network Trust and Using It to Improve Anonymous Communication
Aaron D. Jaggard, Aaron Johnson, Paul Syverson +1
Motivated by the effectiveness of correlation attacks against Tor, the censorship arms race, and observations of malicious relays in Tor, we propose that Tor users capture their tr…
Self-stabilizing uncoupled dynamics
Aaron D. Jaggard, Neil Lutz, Michael Schapira +1
Dynamics in a distributed system are self-stabilizing if they are guaranteed to reach a stable state regardless of how the system is initialized. Game dynamics are uncoupled if eac…