Paul Syverson

31 papers A* 2A 1Journal 12Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Onion-Location Measurements and Fingerprinting.
Proc. Priv. Enhancing Technol.
Paul Syverson, Rasmus Dahlberg, Tobias Pulls, Rob Jansen
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
2022 J jnl
Privacy-Protecting COVID-19 Exposure Notification Based on Cluster Events.
CoRR
Paul Syverson
2022 — conf
Sauteed Onions: Transparent Associations from Domain Names to Onion Addresses.
WPES@CCS
Rasmus Dahlberg, Paul Syverson, Linus Nordberg, Matthew Finkel
2021 — conf
Attacks on Onion Discovery and Remedies via Self-Authenticating Traditional Addresses.
WPES@CCS
Paul Syverson, Matthew Finkel, Saba Eskandarian, Dan Boneh
2021 J jnl
Attacks on Onion Discovery and Remedies via Self-Authenticating Traditional Addresses.
CoRR
Paul Syverson, Matthew Finkel, Saba Eskandarian, Dan Boneh
2021 — conf
Principles of Remote Sattestation.
Protocols, Strands, and Logic
Paul Syverson
2021 J jnl
Privacy-Preserving & Incrementally-Deployable Support for Certificate Transparency in Tor.
Proc. Priv. Enhancing Technol.
Rasmus Dahlberg, Tobias Pulls, Tom Ritter, Paul Syverson
2020 A* conf
19th Workshop on Privacy in the Electronic Society (WPES 2020).
CCS
Wouter Lueks, Paul Syverson
2020 — ed.
WPES'20: Proceedings of the 19th Workshop on Privacy in the Electronic Society, Virtual Event, USA, November 9, 2020
WPES@CCS
Jay Ligatti, Xinming Ou, Wouter Lueks, Paul Syverson
2019 J jnl
KIST: Kernel-Informed Socket Transport for Tor.
ACM Trans. Priv. Secur.
Rob Jansen, Matthew Traudt, John Geddes, Chris Wacek, Micah Sherr, Paul Syverson
2019 — conf
Key Reminiscences.
Foundations of Security, Protocols, and Equational Reasoning
Paul Syverson
2019 — conf
Self-Authenticating Traditional Domain Names.
SecDev
Paul Syverson, Matthew Traudt
2018 — conf
HSTS Supports Targeted Surveillance.
FOCI @ USENIX Security Symposium
Paul Syverson, Matthew Traudt
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 — 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
2017 J jnl
PeerFlow: Secure Load Balancing in Tor.
Proc. Priv. Enhancing Technol.
Aaron Johnson, Rob Jansen, Nicholas Hopper, Aaron Segal, Paul Syverson
2017 — conf
The Once and Future Onion.
ESORICS (1)
Paul Syverson
2016 J jnl
Bake in .onion for Tear-Free and Stronger Website Authentication.
IEEE Secur. Priv.
Paul Syverson, Griffin Boyce
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
Genuine onion: Simple, Fast, Flexible, and Cheap Website Authentication.
CoRR
Paul Syverson, Griffin Boyce
2012 — conf
Paul Revere Protocols (Transcript of Discussion).
Security Protocols Workshop
Paul Syverson
2012 — conf
Paul Revere Protocols.
Security Protocols Workshop
Paul Syverson
2009 — conf
Why I'm Not an Entropist.
Security Protocols Workshop
Paul Syverson
2009 — conf
Why I'm Not an Entropist.
Security Protocols Workshop
Paul Syverson
2004 — ch.
What Price Privacy? - and why identity theft is about neither identity nor theft.
Economics of Information Security
Adam Shostack, Paul Syverson
2002 — conf
Reputation in privacy enhancing technologies.
CFP
Roger Dingledine, Nick Mathewson, Paul Syverson
1993 — conf
A logical language for specifying cryptographic protocol requirements.
S&P
Paul Syverson, Catherine Meadows