Formal Semantics for Logics of Cryptographic Protocols. - Paul F. Syverson (CSFW, 1990)

The Value of Semantics for the Analysis of Cryptographic Protocols. - Paul F. Syverson (CSFW, 1991)

The Use of Logic in the Analysis of Cryptographic Protocols. - Paul F. Syverson (S&P, 1991)

Knowledge, Belief, and Semantics in the Analysis of Cryptographic Protocols. - Paul F. Syverson (J. Comput. Secur., 1992)

Adding Time to a Logic of Authentication. - Paul F. Syverson (CCS, 1993)

Panel: Cryptographic Protocol Models and Requirements. - Paul F. Syverson (CSFW, 1993)

A logical language for specifying cryptographic protocol requirements. - Paul Syverson; Catherine Meadows 001 (S&P, 1993)

On Key Distribution Protocols for Repeated Authentication. - Paul F. Syverson (ACM SIGOPS Oper. Syst. Rev., 1993)

A Taxonomy of Replay Attacks. - Paul F. Syverson (CSFW, 1994)

Formal Requirements for Key Distribution Protocols. - Paul F. Syverson; Catherine Meadows 001 (EUROCRYPT, 1994)

On unifying some cryptographic protocol logics. - Paul F. Syverson; Paul C. van Oorschot (S&P, 1994)

An Epistemic Logic of Situations. - Paul F. Syverson (TARK, 1994)

The epistemic representation of information flow security in probabilistic systems. - Paul F. Syverson; James W. Gray III (CSFW, 1995)

Proxies For Anonymous Routing. - Michael G. Reed; Paul F. Syverson; David M. Goldschlag (ACSAC, 1996)

What is an Attack on a Cryptographic Protocal? - Paul F. Syverson (CSFW, 1996)

Hiding Routing Information. - David M. Goldschlag; Michael G. Reed; Paul F. Syverson (Information Hiding, 1996)

Limitations on Design Principles for Public Key Protocols. - Paul F. Syverson (S&P, 1996)

A Formal Language for Cryptographic Protocol Requirements. - Paul F. Syverson; Catherine Meadows 001 (Des. Codes Cryptogr., 1996)

A New Look at an Old Protocol. - Paul F. Syverson (ACM SIGOPS Oper. Syst. Rev., 1996)

A Different Look at Secure Distributed Computation. - Paul F. Syverson (CSFW, 1997)

Unlinkable Serial Transactions. - Paul F. Syverson; Stuart G. Stubblebine; David M. Goldschlag (Financial Cryptography, 1997)

Protocols Using Anonymous Connections: Mobile Applications. - Michael G. Reed; Paul F. Syverson; David M. Goldschlag (Security Protocols Workshop, 1997)

Private Web Browsing. - Paul F. Syverson; Michael G. Reed; David M. Goldschlag (J. Comput. Secur., 1997)

Anonymity on the Internet (Panel). - Paul F. Syverson (CCS, 1998)

Panel Introduction: Varieties of Authentication. - Roberto Gorrieri; Paul F. Syverson; Martín Abadi; Riccardo Focardi; Dieter Gollmann; Gavin Lowe; Catherine Meadows 001 (CSFW, 1998)

Weakly Secret Bit Commitment: Applications to Lotteries and Fair Exchange. - Paul F. Syverson (CSFW, 1998)

A Formal Specification of Requirements for Payment Transactions in the SET Protocol. - Catherine Meadows 001; Paul F. Syverson (Financial Cryptography, 1998)

A Logical Approach to Multilevel Security of Probabilistic Systems. - James W. Gray III; Paul F. Syverson (Distributed Comput., 1998)

Anonymous connections and onion routing. - Michael G. Reed; Paul F. Syverson; David M. Goldschlag (IEEE J. Sel. Areas Commun., 1998)

Fair On-Line Auctions without Special Trusted Parties. - Stuart G. Stubblebine; Paul F. Syverson (Financial Cryptography, 1999)

Group Principals and the Formalization of Anonymity. - Paul F. Syverson; Stuart G. Stubblebine (World Congress on Formal Methods, 1999)

Onion Routing. - David M. Goldschlag; Michael G. Reed; Paul F. Syverson (Commun. ACM, 1999)

Unlinkable serial transactions: protocols and applications. - Stuart G. Stubblebine; Paul F. Syverson; David M. Goldschlag (ACM Trans. Inf. Syst. Secur., 1999)

Towards an Analysis of Onion Routing Security. - Paul F. Syverson; Gene Tsudik; Michael G. Reed; Carl E. Landwehr (Workshop on Design Issues in Anonymity and Unobservability, 2000)

Authentic Attributes with Fine-Grained Anonymity Protection. - Stuart G. Stubblebine; Paul F. Syverson (Financial Cryptography, 2000)

The Logic of Authentication Protocols. - Paul F. Syverson; Iliano Cervesato (FOSAD, 2000)

Formalizing GDOI group key management requirements in NPATRL. - Catherine Meadows 001; Paul F. Syverson (CCS, 2001)

Reputation in privacy enhancing technologies. - Roger Dingledine; Nick Mathewson; Paul Syverson (CFP, 2002)

Reliable MIX Cascade Networks through Reputation. - Roger Dingledine; Paul F. Syverson (Financial Cryptography, 2002)

From a Trickle to a Flood: Active Attacks on Several Mix Types. - Andrei Serjantov; Roger Dingledine; Paul F. Syverson (Information Hiding, 2002)

Environmental Requirements for Authentication Protocols. - Ran Canetti; Catherine Meadows 001; Paul F. Syverson (ISSS, 2002)

Onion Routing for Resistance to Traffic Analysis. - Paul F. Syverson (DISCEX (2), 2003)

On the Economics of Anonymity. - Alessandro Acquisti; Roger Dingledine; Paul F. Syverson (Financial Cryptography, 2003)

Metrics for Trafic Analysis Prevention. - Richard E. Newman; Ira S. Moskowitz; Paul F. Syverson; Andrei Serjantov (Privacy Enhancing Technologies, 2003)

Universal Re-encryption for Mixnets. - Philippe Golle; Markus Jakobsson; Ari Juels; Paul F. Syverson (CT-RSA, 2004)

Panel Discussion - Mix Cascades Versus Peer-to-Peer: Is One Concept Superior? - Claudia Díaz; George Danezis; Christian Grothoff; Andreas Pfitzmann; Paul F. Syverson (Privacy Enhancing Technologies, 2004)

Synchronous Batching: From Cascades to Free Routes. - Roger Dingledine; Vitaly Shmatikov; Paul F. Syverson (Privacy Enhancing Technologies, 2004)

Tor: The Second-Generation Onion Router. - Roger Dingledine; Nick Mathewson; Paul F. Syverson (USENIX Security Symposium, 2004)

Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer. - Catherine Meadows 001; Paul F. Syverson; Iliano Cervesato (J. Comput. Secur., 2004)

What Price Privacy? - and why identity theft is about neither identity nor theft. - Adam Shostack; Paul Syverson (Economics of Information Security, 2004)

High-Power Proxies for Enhancing RFID Privacy and Utility. - Ari Juels; Paul F. Syverson; Daniel V. Bailey (Privacy Enhancing Technologies, 2005)

Preventing wormhole attacks on wireless ad hoc networks: a graph theoretic approach. - Loukas Lazos; Radha Poovendran; Catherine Meadows 001; Paul F. Syverson; LiWu Chang (WCNC, 2005)

Blending Different Latency Traffic with Alpha-mixing. - Roger Dingledine; Andrei Serjantov; Paul F. Syverson (Privacy Enhancing Technologies, 2006)

Valet Services: Improving Hidden Servers with a Personal Touch. - Lasse Øverlier; Paul F. Syverson (Privacy Enhancing Technologies, 2006)

Towards More Efficient Distance Bounding Protocols for Use in Sensor Networks. - Catherine Meadows 001; Paul F. Syverson; LiWu Chang (SecureComm, 2006)

Locating Hidden Servers. - Lasse Øverlier; Paul F. Syverson (S&P, 2006)

A Model of Onion Routing with Provable Anonymity. - Joan Feigenbaum; Aaron Johnson 001; Paul F. Syverson (Financial Cryptography, 2007)

Improving Efficiency and Simplicity of Tor Circuit Establishment and Hidden Services. - Lasse Øverlier; Paul F. Syverson (Privacy Enhancing Technologies, 2007)

The right place at the right time. - Geoffrey Goodell; Paul F. Syverson (Commun. ACM, 2007)

Deploying Low-Latency Anonymity: Design Challenges and Social Factors. - Roger Dingledine; Nick Mathewson; Paul F. Syverson (IEEE Secur. Priv., 2007)

Distance Bounding Protocols: Authentication Logic Analysis and Collusion Attacks. - Catherine Meadows 001; Radha Poovendran; Dusko Pavlovic; LiWu Chang; Paul F. Syverson (Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks, 2007)

Bridging and Fingerprinting: Epistemic Attacks on Route Selection. - George Danezis; Paul F. Syverson (Privacy Enhancing Technologies, 2008)

As-awareness in Tor path selection. - Matthew Edman; Paul F. Syverson (CCS, 2009)

More Anonymous Onion Routing Through Trust. - Aaron Johnson 001; Paul F. Syverson (CSF, 2009)

Why I'm Not an Entropist. - Paul Syverson (Security Protocols Workshop, 2009)

Intention-Disguised Algorithmic Trading. - William Yuen; Paul F. Syverson; Zhenming Liu; Christopher Thorpe (Financial Cryptography, 2010)

Preventing Active Timing Attacks in Low-Latency Anonymous Communication. - Joan Feigenbaum; Aaron Johnson 001; Paul F. Syverson (Privacy Enhancing Technologies, 2010)

Temporarily hidden bit commitment and lottery applications. - David M. Goldschlag; Stuart G. Stubblebine; Paul F. Syverson (Int. J. Inf. Sec., 2010)

Guest editorial: Special issue on computer and communications security. - Sabrina De Capitani di Vimercati; Paul F. Syverson (ACM Trans. Inf. Syst. Secur., 2010)

Anonymous Communication. - George Danezis; Claudia Díaz; Paul F. Syverson (Handbook of Financial Cryptography and Security, 2010)

A peel of onion. - Paul F. Syverson (ACSAC, 2011)

Trust-based anonymous communication: adversary models and routing algorithms. - Aaron Johnson 001; Paul F. Syverson; Roger Dingledine; Nick Mathewson (CCS, 2011)

Paul Revere Protocols. - Paul Syverson (Security Protocols Workshop, 2012)

Paul Revere Protocols (Transcript of Discussion). - Paul Syverson (Security Protocols Workshop, 2012)

Throttling Tor Bandwidth Parasites. - Rob Jansen; Paul F. Syverson; Nicholas Hopper (USENIX Security Symposium, 2012)

Probabilistic analysis of onion routing in a black-box model. - Joan Feigenbaum; Aaron Johnson 001; Paul F. Syverson (ACM Trans. Inf. Syst. Secur., 2012)

Guest Editorial: Special Issue on Computer and Communications Security. - Paul F. Syverson; Somesh Jha (ACM Trans. Inf. Syst. Secur., 2012)

Users get routed: traffic correlation on tor by realistic adversaries. - Aaron Johnson 001; Chris Wacek; Rob Jansen; Micah Sherr; Paul F. Syverson (CCS, 2013)

Onions for Sale: Putting Privacy on the Market. - Aaron Johnson 001; Rob Jansen; Paul F. Syverson (Financial Cryptography, 2013)

LIRA: Lightweight Incentivized Routing for Anonymity. - Rob Jansen; Aaron Johnson 001; Paul F. Syverson (NDSS, 2013)

Never Been KIST: Tor's Congestion Management Blossoms with Kernel-Informed Socket Transport. - Rob Jansen; John Geddes; Chris Wacek; Micah Sherr; Paul F. Syverson (USENIX Security Symposium, 2014)

Representing Network Trust and Using It to Improve Anonymous Communication. - Aaron D. Jaggard; Aaron Johnson 001; Paul F. Syverson; Joan Feigenbaum (CoRR, 2014)

Genuine onion: Simple, Fast, Flexible, and Cheap Website Authentication. - Paul Syverson; Griffin Boyce (CoRR, 2015)

20, 000 In League Under the Sea: Anonymous Communication, Trust, MLATs, and Undersea Cables. - Aaron D. Jaggard; Aaron Johnson 001; Sarah Cortes; Paul Syverson; Joan Feigenbaum (Proc. Priv. Enhancing Technol., 2015)

Bake in .onion for Tear-Free and Stronger Website Authentication. - Paul Syverson; Griffin Boyce (IEEE Secur. Priv., 2016)

The Once and Future Onion. - Paul Syverson (ESORICS (1), 2017)

Avoiding The Man on the Wire: Improving Tor's Security with Trust-Aware Path Selection. - Aaron Johnson 001; Rob Jansen; Aaron D. Jaggard; Joan Feigenbaum; Paul Syverson (NDSS, 2017)

Onions in the Crosshairs: When The Man really is out to get you. - Aaron D. Jaggard; Paul Syverson (WPES@CCS, 2017)

Onions in the Crosshairs: When The Man really is out to get you. - Aaron D. Jaggard; Paul Syverson (CoRR, 2017)

PeerFlow: Secure Load Balancing in Tor. - Aaron Johnson 001; Rob Jansen; Nicholas Hopper; Aaron Segal; Paul Syverson (Proc. Priv. Enhancing Technol., 2017)

HSTS Supports Targeted Surveillance. - Paul Syverson; Matthew Traudt (FOCI @ USENIX Security Symposium, 2018)

Key Reminiscences. - Paul Syverson (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Self-Authenticating Traditional Domain Names. - Paul Syverson; Matthew Traudt (SecDev, 2019)

KIST: Kernel-Informed Socket Transport for Tor. - Rob Jansen; Matthew Traudt; John Geddes; Chris Wacek; Micah Sherr; Paul Syverson (ACM Trans. Priv. Secur., 2019)

19th Workshop on Privacy in the Electronic Society (WPES 2020). - Wouter Lueks; Paul Syverson (CCS, 2020)

Principles of Remote Sattestation. - Paul Syverson (Protocols, Strands, and Logic, 2021)

Attacks on Onion Discovery and Remedies via Self-Authenticating Traditional Addresses. - Paul Syverson; Matthew Finkel; Saba Eskandarian; Dan Boneh (WPES@CCS, 2021)

Privacy-Preserving & Incrementally-Deployable Support for Certificate Transparency in Tor. - Rasmus Dahlberg; Tobias Pulls; Tom Ritter; Paul Syverson (Proc. Priv. Enhancing Technol., 2021)

Sauteed Onions: Transparent Associations from Domain Names to Onion Addresses. - Rasmus Dahlberg; Paul Syverson; Linus Nordberg; Matthew Finkel (WPES@CCS, 2022)

Privacy-Protecting COVID-19 Exposure Notification Based on Cluster Events. - Paul Syverson (CoRR, 2022)

Throwing Your Weight Around: Fixing Tor's Positional Weighting. - Aaron Johnson 001; Aaron D. Jaggard; Paul Syverson (Proc. Priv. Enhancing Technol., 2023)

A Logic of Sattestation. - Aaron D. Jaggard; Paul Syverson; Catherine Meadows 001 (CSF, 2024)

Onion-Location Measurements and Fingerprinting. - Paul Syverson; Rasmus Dahlberg; Tobias Pulls; Rob Jansen (Proc. Priv. Enhancing Technol., 2025)