Paul F. Syverson

89 papers A* 14A 14B 3C 1Journal 19Unranked 33

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