Paul Syverson Home Page

At CodeCon 2004, with Erdös. I'm the Paul on your left. (Photo gratis Robyn Wagner.)

Tor Onion Routing ixquick Google Anonymity Bibliography Muir's LNCS quick links

Some advertisements for professional activities with which I am involved:

• Visiting Scholar, Indiana University School of Informatics, 2006-2008
• Program Committee, Computer Security Foundations Symposium (CSF 2008)
• Program Committee, Privacy Enhancing Technologies Symposium (PETS 2008)
• Program Chair, ACM Conference on Computer and Communications Security (CCS 2008)
• Steering Committee, ACM CCS (ACM Computer and Communications Security Conference)
• Advisory Board, PETS (Privacy Enhancing Technologies Symposium)
• Steering Committee, CSF (IEEE Computer Security Foundations Symposium)
• Steering Committee, ACM WPES (ACM Workshop on Privacy in the Electronic Society)
• Charter Member, IFIP WG 1.7, on Theoretical Foundations of Security Analysis and Design

Advertisements for some past activities that I was ``in charge of'' in some way:

• Director, IFCA (International Financial Cryptography Association), 2002 -- 2005
• Director, ICISA (International Communications and Information Security Association)
• Editor, Cipher Newsletter of the IEEE Computer Society Technical Committee on Security and Privacy, 1998 -- 2000

Current Primary Research Interests

• Onion Routing, comprises a family of projects sponsored at times by DARPA, CNO, and ONR devoted to the theory, design, and use of low-latency traffic-secure communication. Tor (i.e., The Onion Routing) is the currently available widely-deployed onion routing network for both general anonymous internet communication and for location-hidden servers. (During 2005, Tor expanded beyond being designed by and for just the US DoD when it received support by the EFF. Tor has since received funding from the International Broadcasting Bureau, RSF (Reporters without Borders), The Omidyar Network, and other sources.)
• Currently I am focused on analyzing and firming up the theory and foundations of onion routing and similar communications systems.
• Protocols, security, anonymity, and privacy in mobile ad-hoc networks, sensor networks, and RFID.
• Usability, reputation, reliability, and incentives in security and privacy.

Some publications

Books:

• Logic, Convention, and Common Knowledge: A Conventionalist Account of Logic.
  Published by CSLI Lecture Notes. Also available at your local independent bookseller, and yes Amazon.
  
  • Concerning Film Rights: Against the expressed personal advice of Neal Stephenson, movie rights to this book have been optioned to Nick Mathewson, to whom all inquiries in this regard should be directed.

• Edited volumes:
  • CCS'07: Proceedings of the 12th ACM Conference on Computer and Communications Security. Jointly edited with Sabrina De Capitani di Vimercati and David Evans.
  • CCS 2005: Proceedings of the 12th ACM Conference on Computer and Communications Security. Jointly edited with Catherine Meadows.
  • Computer Security - ESORICS 2005 10th European Symposium on Research in Computer Security, LNCS 3679. SpringerLINK (subscription). Jointly edited with Sabrina De Capitani di Vimercati and Dieter Gollmann.
  • WPES'04: ACM Workshop on Privacy in the Electronic Society. Jointly edited with Sabrina De Capitani di Vimercati.
  • WPES'03: ACM Workshop on Privacy in the Electronic Society. Jointly edited with Pierangela Samarati.
  • Privacy Enhancing Technologies Second International Workshop, PET 2002, LNCS 2482. SpringerLINK (subscription). Jointly edited with Roger Dingledine.
  • Financial Cryptography : 5th International Conference, FC 2001, LNCS 2339. SpringerLINK (subscription).
  • 13th IEEE Computer Security Foundations Workshop (CSFW 13), 2000. Jointly edited with Joshua Guttman .
  • 12th IEEE Computer Security Foundations Workshop (CSFW 12), 1999. Jointly edited with Joshua Guttman .

Some papers:

• Deploying Low-Latency Anonymity: Design Challenges and Social Factors.
  by Roger Dingledine, Nick Mathewson, and Paul Syverson.
  In IEEE Security & Privacy, 5(5), 2007.    Abstract, Plaintext
• Probabilistic Analysis of Onion Routing in a Black-box Model [Extended Abstract].
  by Joan Feigenbaum, Aaron Johnson, and Paul Syverson.
  In ACM Workshop on Privacy in Electronic Society (WPES 2007).    Abstract, PDF
• Improving Efficiency and Simplicity of Tor circuit establishment and hidden services.
  by Lasse Øverlier and Paul Syverson.
  In Privacy Enhancing Technologies (PET 2007).    Abstract, PDF
• A Model of Onion Routing with Provable Anonymity.
  by Joan Feigenbaum, Aaron Johnson, and Paul Syverson.
  In Financial Cryptography and Data Security, 11th International Conference (FC 2007).    Abstract, PDF
• Distance Bounding Protocols: Authentication Logic Analysis and Collusion Attacks.
  by Catherine Meadows, Radha Poovendran, Dusko Pavlovic, LiWu Chang, and Paul Syverson
  In "Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks", Springer-Verlag 2007.    PDF
• Valet Services: Improving Hidden Servers with a Personal Touch.
  by Lasse Øverlier and Paul Syverson.
  In Privacy Enhancing Technologies (PET 2006).    Abstract, PDF
• Blending different latency traffic with alpha-mixing.
  by Andrei Serjantov, Roger Dingledine, and Paul Syverson.
  In Privacy Enhancing Technologies (PET 2006).    PDF
• Locating Hidden Servers.
  by Lasse Øverlier and Paul Syverson.
  In 2006 IEEE Symposium on Security and Privacy.    Abstract, PDF
• Challenges in deploying low-latency anonymity.
  by Roger Dingledine, Nick Mathewson, and Paul Syverson.
  NRL CHACS Report 5540-265, 2005.    Abstract, PDF, PS, and PS.GZ
• Preventing Wormhole Attacks on Wireless Ad Hoc Networks: A Graph Theoretic Approach.
  by Loukas Lazos, Radha Poovendran, Catherine Meadows, Paul Syverson, and LiWu Chang.
  In IEEE Wireless Communications and Networking Conference (WCNC 2005).    PDF
• High-Power Proxies for Enhancing RFID Privacy and Utility.
  by Ari Juels, Paul Syverson, and Dan Bailey.
  In Workshop on Privacy Enhancing Technologies (PET 2005).    PDF
• Tor: The Second-Generation Onion Router.
  by Roger Dingledine, Nick Mathewson, and Paul Syverson.
  In 13th USENIX Security Symposium (Security '04).    PDF
• What Price Privacy? (and why identity theft is about neither identity nor theft).
  by Adam Shostack and Paul Syverson.
  In Economics of Information Security, Chapter 11, Kluwer Academic Publishers, 2004.    PDF
• Synchronous Batching: From Cascades to Free Routes.
  by Roger Dingledine, Vitaly Shmatikov, and Paul Syverson.
  In Workshop on Privacy Enhancing Technologies (PET 2004).    PDF
• Universal Re-encryption for Mixnets.
  by Philippe Golle, Markus Jakobsson, Ari Juels, and Paul Syverson.
  In RSA Conference 2004, Cryptographers' Track (CT-RSA 04).    PDF
• Formal Specification and Analysis of the Group Domain of Interpretation Protocol Using NPATRL and the NRL Protocol Analyzer.
  by Catherine Meadows, Paul Syverson, and Iliano Cervesato.
  In Journal of Computer Security.    PS, PDF
• Quasi-Anonymous Channels.
  by Ira S. Moskowitz, Richard E. Newman, and Paul Syverson.
  In IASTED International Conference on Communication, Network, and Information Security (CNIS 2003).     Abstract and PDF
• Reputation in P2P Anonymity Systems.
  by Roger Dingledine, Nick Mathewson, and Paul Syverson.
  In Workshop on Economics of Peer-to-Peer Systems June 2003.    PDF
• The Paradoxical Value of Privacy.
  by Paul Syverson
  In 2nd Annual Workshop on Economics and Information Security (WEIS 2003).    PDF
• Metrics for Traffic Analysis Prevention.
  by Richard E. Newman, Ira S. Moskowitz, Paul Syverson, and Andrei Serjantov.
  In Privacy Enhancing Technologies (PET 2003).     PDF
• On the Economics of Anonymity .
  by Alessandro Acquisti, Roger Dingledine, and Paul Syverson.
  In Financial Cryptography (FC 2003).    PDF, PS,    Slides: (PDF)
• From a Trickle to a Flood: Active Attacks on Several Mix Types.
  by Andrei Serjantov, Roger Dingledine, and Paul Syverson.
  In Information Hiding, Oct 2002.     PDF, PS
• Reputation in Privacy Enhancing Technologies.
  by Roger Dingledine, Nick Mathewson, and Paul Syverson.
  In Computers, Freedom, and Privacy, Apr 2002.     html, PDF, PS,    Slides: ( PPT, PS )
• Reliable MIX Cascade Networks through Reputation.
  by Roger Dingledine and Paul Syverson.
  In Financial Cryptography 2002.     PS, PDF,    Slides: (PDF)
• The Logic of Authentication Protocols.
  by Paul Syverson and Iliano Cervesato.
  In Foundations of Security Analysis and Design, Springer-Verlag LNCS 2171    PS, PDF
• Weakly Secret Bit Commitment: Applications to Lotteries and Fair Exchange.
  by Paul Syverson.
  In Proceedings of the 1998 IEEE Computer Security Foundations Workshop (CSFW11).    PS, PDF
• A logical approach to multilevel security of probabilistic systems.
  by James W. Gray, III and Paul Syverson.
  In Distributed Computing, 11(2), 1998.    PS, PDF
• A Different Look at Secure Distributed Computation.
  by Paul Syverson.
  In Proceedings of the 1997 IEEE Computer Security Foundations Workshop (CSFW10).    PS, PDF
• Protocols using Anonymous Connections: Mobile Applications.
  by Michael Reed, Paul Syverson, and David Goldschlag.
  In Security Protocols 1997, Proceedings of the 5th International Workshop, Springer-Verlag LNCS 1361.    PS, PDF
• Hiding Routing Information.
  by Michael Reed, Paul Syverson, and David Goldschlag.
  In Information Hiding, First International Workshop, Springer-Verlag LNCS 1174.    Abstract, PDF
• More of my publications can be found under the CHACS publications page.
• some publications on security protocol analysis can be found at the CHACS cryptographic protocol analysis page.
• some on anonymity mechanisms (particularly on the Onion Routing anonymous communication infrastructure) can be found at the Onion Routing Homepage