Paul Syverson

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 19

Top Topics

Semi Fragile Watermarking

Disclosure Control

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)
Paul Syverson
Privacy-Protecting COVID-19 Exposure Notification Based on Cluster Events. CoRR (2022)
Rasmus Dahlberg, Paul Syverson, Linus Nordberg, Matthew Finkel
Sauteed Onions: Transparent Associations from Domain Names to Onion Addresses. WPES@CCS (2022)
Paul Syverson, Matthew Finkel, Saba Eskandarian, Dan Boneh
Attacks on Onion Discovery and Remedies via Self-Authenticating Traditional Addresses. WPES@CCS (2021)
Paul Syverson
Principles of Remote Sattestation. Protocols, Strands, and Logic (2021)
Rasmus Dahlberg, Tobias Pulls, Tom Ritter, Paul Syverson
Privacy-Preserving & Incrementally-Deployable Support for Certificate Transparency in Tor. Proc. Priv. Enhancing Technol. 2021 (2) (2021)
Paul Syverson, Matthew Finkel, Saba Eskandarian, Dan Boneh
Attacks on Onion Discovery and Remedies via Self-Authenticating Traditional Addresses. CoRR (2021)
Wouter Lueks, Paul Syverson
19th Workshop on Privacy in the Electronic Society (WPES 2020). CCS (2020)
Rob Jansen, Matthew Traudt, John Geddes, Chris Wacek, Micah Sherr, Paul Syverson
KIST: Kernel-Informed Socket Transport for Tor. ACM Trans. Priv. Secur. 22 (1) (2019)
Paul Syverson, Matthew Traudt
Self-Authenticating Traditional Domain Names. SecDev (2019)
Paul Syverson
Key Reminiscences. Foundations of Security, Protocols, and Equational Reasoning (2019)
Paul Syverson, Matthew Traudt
HSTS Supports Targeted Surveillance. FOCI @ USENIX Security Symposium (2018)
Paul Syverson
The Once and Future Onion. ESORICS (1) (2017)
Aaron Johnson, Rob Jansen, Nicholas Hopper, Aaron Segal, Paul Syverson
PeerFlow: Secure Load Balancing in Tor. Proc. Priv. Enhancing Technol. 2017 (2) (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)
Paul Syverson, Griffin Boyce
Bake in .onion for Tear-Free and Stronger Website Authentication. IEEE Secur. Priv. 14 (2) (2016)
Paul Syverson, Griffin Boyce
Genuine onion: Simple, Fast, Flexible, and Cheap Website Authentication. 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)
Paul Syverson
Paul Revere Protocols. Security Protocols Workshop (2012)
Paul Syverson
Paul Revere Protocols (Transcript of Discussion). Security Protocols Workshop (2012)
Paul Syverson
Why I'm Not an Entropist. Security Protocols Workshop (2009)
Paul Syverson
Why I'm Not an Entropist. Security Protocols Workshop (2009)
Roger Dingledine, Nick Mathewson, Paul Syverson
Reputation in privacy enhancing technologies. CFP (2002)
Paul Syverson, Catherine A. Meadows
A logical language for specifying cryptographic protocol requirements. IEEE Symposium on Security and Privacy (1993)