Paul F. Syverson

Publication Activity (10 Years)

Years Active: 1990-2015
Publications (10 Years): 0

Top Topics

Bandwidth Requirements

Anonymous Communication

Top Venues

USENIX Security Symposium

ACM Trans. Inf. Syst. Secur.

Publications

Aaron Johnson, Rob Jansen, Aaron D. Jaggard, Joan Feigenbaum, Paul F. Syverson
Avoiding The Man on the Wire: Improving Tor's Security with Trust-Aware Path Selection. CoRR (2015)
Aaron D. Jaggard, Aaron Johnson, Paul F. Syverson, Joan Feigenbaum
Representing Network Trust and Using It to Improve Anonymous Communication. CoRR (2014)
Rob Jansen, John Geddes, Chris Wacek, Micah Sherr, Paul F. Syverson
Never Been KIST: Tor's Congestion Management Blossoms with Kernel-Informed Socket Transport. USENIX Security Symposium (2014)
Aaron Johnson, Rob Jansen, Paul F. Syverson
Onions for Sale: Putting Privacy on the Market. Financial Cryptography (2013)
Rob Jansen, Aaron Johnson, Paul F. Syverson
LIRA: Lightweight Incentivized Routing for Anonymity. NDSS (2013)
Aaron Johnson, Chris Wacek, Rob Jansen, Micah Sherr, Paul F. Syverson
Users get routed: traffic correlation on tor by realistic adversaries. CCS (2013)
Rob Jansen, Paul F. Syverson, Nicholas Hopper
Throttling Tor Bandwidth Parasites. USENIX Security Symposium (2012)
Paul F. Syverson, Somesh Jha
Guest Editorial: Special Issue on Computer and Communications Security. ACM Trans. Inf. Syst. Secur. 15 (1) (2012)
Joan Feigenbaum, Aaron Johnson, Paul F. Syverson
Probabilistic analysis of onion routing in a black-box model. ACM Trans. Inf. Syst. Secur. 15 (3) (2012)
Rob Jansen, Nicholas Hopper, Paul F. Syverson
Throttling Tor Bandwidth Parasites. NDSS (2012)
Aaron Johnson, Paul F. Syverson, Roger Dingledine, Nick Mathewson
Trust-based anonymous communication: adversary models and routing algorithms. CCS (2011)
Paul F. Syverson
A peel of onion. ACSAC (2011)
Joan Feigenbaum, Aaron Johnson, Paul F. Syverson
Probabilistic Analysis of Onion Routing in a Black-box Model CoRR (2011)
David M. Goldschlag, Stuart G. Stubblebine, Paul F. Syverson
Temporarily hidden bit commitment and lottery applications. Int. J. Inf. Sec. 9 (1) (2010)
Sabrina De Capitani di Vimercati, Paul F. Syverson
Guest editorial: Special issue on computer and communications security. ACM Trans. Inf. Syst. Secur. 13 (2) (2010)
William Yuen, Paul F. Syverson, Zhenming Liu, Christopher Thorpe
Intention-Disguised Algorithmic Trading. Financial Cryptography (2010)
Joan Feigenbaum, Aaron Johnson, Paul F. Syverson
Preventing Active Timing Attacks in Low-Latency Anonymous Communication. Privacy Enhancing Technologies (2010)
Aaron Johnson, Paul F. Syverson
More Anonymous Onion Routing Through Trust. CSF (2009)
Matthew Edman, Paul F. Syverson
As-awareness in Tor path selection. CCS (2009)
George Danezis, Paul F. Syverson
Bridging and Fingerprinting: Epistemic Attacks on Route Selection. Privacy Enhancing Technologies (2008)
Roger Dingledine, Nick Mathewson, Paul F. Syverson
Deploying Low-Latency Anonymity: Design Challenges and Social Factors. IEEE Secur. Priv. 5 (5) (2007)
Joan Feigenbaum, Aaron Johnson, Paul F. Syverson
A Model of Onion Routing with Provable Anonymity. Financial Cryptography (2007)
Geoffrey Goodell, Paul F. Syverson
The right place at the right time. Commun. ACM 50 (5) (2007)
Joan Feigenbaum, Aaron Johnson, Paul F. Syverson
Probabilistic analysis of onion routing in a black-box model. WPES (2007)
Lasse Øverlier, Paul F. Syverson
Improving Efficiency and Simplicity of Tor Circuit Establishment and Hidden Services. Privacy Enhancing Technologies (2007)
Roger Dingledine, Andrei Serjantov, Paul F. Syverson
Blending Different Latency Traffic with Alpha-mixing. Privacy Enhancing Technologies (2006)
Catherine A. Meadows, Paul F. Syverson, LiWu Chang
Towards More Efficient Distance Bounding Protocols for Use in Sensor Networks. SecureComm (2006)
Lasse Øverlier, Paul F. Syverson
Valet Services: Improving Hidden Servers with a Personal Touch. Privacy Enhancing Technologies (2006)
Lasse Øverlier, Paul F. Syverson
Locating Hidden Servers. IEEE Symposium on Security and Privacy (2006)
Loukas Lazos, Radha Poovendran, Catherine A. Meadows, Paul F. Syverson, LiWu Chang
Preventing wormhole attacks on wireless ad hoc networks: a graph theoretic approach. WCNC (2005)
Ari Juels, Paul F. Syverson, Daniel V. Bailey
High-Power Proxies for Enhancing RFID Privacy and Utility. Privacy Enhancing Technologies (2005)
Philippe Golle, Markus Jakobsson, Ari Juels, Paul F. Syverson
Universal Re-encryption for Mixnets. CT-RSA (2004)
Catherine A. Meadows, Paul F. Syverson, Iliano Cervesato
Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer. J. Comput. Secur. 12 (6) (2004)
Roger Dingledine, Nick Mathewson, Paul F. Syverson
Tor: The Second-Generation Onion Router. USENIX Security Symposium (2004)
Claudia Díaz, George Danezis, Christian Grothoff, Andreas Pfitzmann, Paul F. Syverson
Panel Discussion - Mix Cascades Versus Peer-to-Peer: Is One Concept Superior? Privacy Enhancing Technologies (2004)
Roger Dingledine, Vitaly Shmatikov, Paul F. Syverson
Synchronous Batching: From Cascades to Free Routes. Privacy Enhancing Technologies (2004)
Richard E. Newman, Ira S. Moskowitz, Paul F. Syverson, Andrei Serjantov
Metrics for Trafic Analysis Prevention. Privacy Enhancing Technologies (2003)
Paul F. Syverson
Onion Routing for Resistance to Traffic Analysis. DISCEX (2) (2003)
Alessandro Acquisti, Roger Dingledine, Paul F. Syverson
On the Economics of Anonymity. Financial Cryptography (2003)
Ran Canetti, Catherine A. Meadows, Paul F. Syverson
Environmental Requirements for Authentication Protocols. ISSS (2002)
Andrei Serjantov, Roger Dingledine, Paul F. Syverson
From a Trickle to a Flood: Active Attacks on Several Mix Types. Information Hiding (2002)
Roger Dingledine, Paul F. Syverson
Reliable MIX Cascade Networks through Reputation. Financial Cryptography (2002)
Catherine A. Meadows, Paul F. Syverson
Formalizing GDOI group key management requirements in NPATRL. CCS (2001)
Stuart G. Stubblebine, Paul F. Syverson
Authentic Attributes with Fine-Grained Anonymity Protection. Financial Cryptography (2000)
Paul F. Syverson, Iliano Cervesato
The Logic of Authentication Protocols. FOSAD (2000)
Paul F. Syverson, Gene Tsudik, Michael G. Reed, Carl E. Landwehr
Towards an Analysis of Onion Routing Security. Workshop on Design Issues in Anonymity and Unobservability (2000)
Stuart G. Stubblebine, Paul F. Syverson, David M. Goldschlag
Unlinkable serial transactions: protocols and applications. ACM Trans. Inf. Syst. Secur. 2 (4) (1999)
Paul F. Syverson, Stuart G. Stubblebine
Group Principals and the Formalization of Anonymity. World Congress on Formal Methods (1999)
Stuart G. Stubblebine, Paul F. Syverson
Fair On-Line Auctions without Special Trusted Parties. Financial Cryptography (1999)
David M. Goldschlag, Michael G. Reed, Paul F. Syverson
Onion Routing. Commun. ACM 42 (2) (1999)
James W. Gray III, Paul F. Syverson
A Logical Approach to Multilevel Security of Probabilistic Systems. Distributed Comput. 11 (2) (1998)
Catherine A. Meadows, Paul F. Syverson
A Formal Specification of Requirements for Payment Transactions in the SET Protocol. Financial Cryptography (1998)
Paul F. Syverson
Weakly Secret Bit Commitment: Applications to Lotteries and Fair Exchange. CSFW (1998)
Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine A. Meadows
Panel Introduction: Varieties of Authentication. CSFW (1998)
Paul F. Syverson
Anonymity on the Internet (Panel). CCS (1998)
Michael G. Reed, Paul F. Syverson, David M. Goldschlag
Anonymous connections and onion routing. IEEE J. Sel. Areas Commun. 16 (4) (1998)
Paul F. Syverson, Michael G. Reed, David M. Goldschlag
Private Web Browsing. J. Comput. Secur. 5 (3) (1997)
Michael G. Reed, Paul F. Syverson, David M. Goldschlag
Protocols Using Anonymous Connections: Mobile Applications. Security Protocols Workshop (1997)
Paul F. Syverson
A Different Look at Secure Distributed Computation. CSFW (1997)
Paul F. Syverson, David M. Goldschlag, Michael G. Reed
Anonymous Connections and Onion Routing. IEEE Symposium on Security and Privacy (1997)
Paul F. Syverson, Stuart G. Stubblebine, David M. Goldschlag
Unlinkable Serial Transactions. Financial Cryptography (1997)
Paul F. Syverson
What is an Attack on a Cryptographic Protocal? CSFW (1996)
Paul F. Syverson
Limitations on Design Principles for Public Key Protocols. IEEE Symposium on Security and Privacy (1996)
Paul F. Syverson
A New Look at an Old Protocol. ACM SIGOPS Oper. Syst. Rev. 30 (3) (1996)
Michael G. Reed, Paul F. Syverson, David M. Goldschlag
Proxies For Anonymous Routing. ACSAC (1996)
Paul F. Syverson, Catherine A. Meadows
A Formal Language for Cryptographic Protocol Requirements. Des. Codes Cryptogr. 7 (1-2) (1996)
David M. Goldschlag, Michael G. Reed, Paul F. Syverson
Hiding Routing Information. Information Hiding (1996)
Paul F. Syverson, James W. Gray III
The epistemic representation of information flow security in probabilistic systems. CSFW (1995)
Paul F. Syverson
A Taxonomy of Replay Attacks. CSFW (1994)
Paul F. Syverson, Paul C. van Oorschot
On unifying some cryptographic protocol logics. IEEE Symposium on Security and Privacy (1994)
Paul F. Syverson, Catherine A. Meadows
Formal Requirements for Key Distribution Protocols. EUROCRYPT (1994)
Paul F. Syverson
An Epistemic Logic of Situations. TARK (1994)
Paul F. Syverson
Panel: Cryptographic Protocol Models and Requirements. CSFW (1993)
Paul F. Syverson
On Key Distribution Protocols for Repeated Authentication. ACM SIGOPS Oper. Syst. Rev. 27 (4) (1993)
Paul F. Syverson
Adding Time to a Logic of Authentication. CCS (1993)
Paul F. Syverson
Knowledge, Belief, and Semantics in the Analysis of Cryptographic Protocols. J. Comput. Secur. 1 (3-4) (1992)
James W. Gray III, Paul F. Syverson
A logical approach to multilevel security of probabilistic systems. IEEE Symposium on Security and Privacy (1992)
Paul F. Syverson
The Use of Logic in the Analysis of Cryptographic Protocols. IEEE Symposium on Security and Privacy (1991)
Paul F. Syverson
The Value of Semantics for the Analysis of Cryptographic Protocols. CSFW (1991)
Paul F. Syverson
Formal Semantics for Logics of Cryptographic Protocols. CSFW (1990)