| 2013 | CCS | Users get routed: traffic correlation on tor by realistic adversaries. | Aaron Johnson, Chris Wacek, Rob Jansen, Micah Sherr, Paul F. Syverson |
| 2013 | FC | Onions for Sale: Putting Privacy on the Market. | Aaron Johnson, Rob Jansen, Paul F. Syverson |
| 2013 | NDSS | LIRA: Lightweight Incentivized Routing for Anonymity. | Rob Jansen, Aaron Johnson, Paul F. Syverson |
| 2012 | NDSS | Throttling Tor Bandwidth Parasites. | Rob Jansen, Nicholas Hopper, Paul F. Syverson |
| 2011 | ACSAC | A peel of onion. | Paul F. Syverson |
| 2011 | CCS | Trust-based anonymous communication: adversary models and routing algorithms. | Aaron Johnson, Paul F. Syverson, Roger Dingledine, Nick Mathewson |
| 2010 | FC | Intention-Disguised Algorithmic Trading. | William Yuen, Paul F. Syverson, Zhenming Liu, Christopher Thorpe |
| 2009 | CCS | As-awareness in Tor path selection. | Matthew Edman, Paul F. Syverson |
| 2007 | FC | A Model of Onion Routing with Provable Anonymity. | Joan Feigenbaum, Aaron Johnson, Paul F. Syverson |
| 2006 | SP | Locating Hidden Servers. | Lasse verlier, Paul F. Syverson |
| 2006 | SecureComm | Towards More Efficient Distance Bounding Protocols for Use in Sensor Networks. | Catherine Meadows, Paul F. Syverson, LiWu Chang |
| 2005 | WCNC | Preventing wormhole attacks on wireless ad hoc networks: a graph theoretic approach. | Loukas Lazos, Radha Poovendran, Catherine Meadows, Paul F. Syverson, LiWu Chang |
| 2003 | FC | On the Economics of Anonymity. | Alessandro Acquisti, Roger Dingledine, Paul F. Syverson |
| 2002 | FC | Reliable MIX Cascade Networks through Reputation. | Roger Dingledine, Paul F. Syverson |
| 2001 | CCS | Formalizing GDOI group key management requirements in NPATRL. | Catherine Meadows, Paul F. Syverson |
| 2000 | FC | Authentic Attributes with Fine-Grained Anonymity Protection. | Stuart G. Stubblebine, Paul F. Syverson |
| 1999 | FC | Fair On-Line Auctions without Special Trusted Parties. | Stuart G. Stubblebine, Paul F. Syverson |
| 1999 | FM | Group Principals and the Formalization of Anonymity. | Paul F. Syverson, Stuart G. Stubblebine |
| 1998 | CCS | Anonymity on the Internet (Panel). | Paul F. Syverson |
| 1998 | FC | A Formal Specification of Requirements for Payment Transactions in the SET Protocol. | Catherine Meadows, Paul F. Syverson |
| 1997 | FC | Unlinkable Serial Transactions. | Paul F. Syverson, Stuart G. Stubblebine, David M. Goldschlag |
| 1997 | SP | Anonymous Connections and Onion Routing. | Paul F. Syverson, David M. Goldschlag, Michael G. Reed |
| 1996 | ACSAC | Proxies For Anonymous Routing. | Michael G. Reed, Paul F. Syverson, David M. Goldschlag |
| 1996 | SP | Limitations on Design Principles for Public Key Protocols. | Paul F. Syverson |
| 1994 | EuroCrypt | Formal Requirements for Key Distribution Protocols. | Paul F. Syverson, Catherine Meadows |
| 1994 | SP | On unifying some cryptographic protocol logics. | Paul F. Syverson, Paul C. van Oorschot |
| 1994 | TARK | An Epistemic Logic of Situations. | Paul F. Syverson |
| 1993 | CCS | Adding Time to a Logic of Authentication. | Paul F. Syverson |
| 1992 | SP | A logical approach to multilevel security of probabilistic systems. | James W. Gray III, Paul F. Syverson |
| 1991 | SP | The Use of Logic in the Analysis of Cryptographic Protocols. | Paul F. Syverson |