David M. Goldschlag

Publication Activity (10 Years)

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

Publications

David M. Goldschlag, Stuart G. Stubblebine, Paul F. Syverson
Temporarily hidden bit commitment and lottery applications. Int. J. Inf. Sec. 9 (1) (2010)
Stuart G. Stubblebine, Paul F. Syverson, David M. Goldschlag
Unlinkable serial transactions: protocols and applications. ACM Trans. Inf. Syst. Secur. 2 (4) (1999)
David M. Goldschlag
A Mechanization of Unity in PC-NQTHM-92. J. Autom. Reason. 23 (3-4) (1999)
David W. Kravitz, David M. Goldschlag
Conditional Access Concepts and Principles. Financial Cryptography (1999)
David M. Goldschlag, Michael G. Reed, Paul F. Syverson
Onion Routing. Commun. ACM 42 (2) (1999)
Jon Callas, Joan Feigenbaum, David M. Goldschlag, Erin Sawyer
Fair Use, Intellectual Property, and the Information Economy (Panel Session Summary). Financial Cryptography (1999)
David M. Goldschlag, David W. Kravitz
Beyond Cryptographic Conditional Access. Smartcard (1999)
David M. Goldschlag, David W. Kravitz
Pirate Card Rejection. CARDIS (1998)
Michael G. Reed, Paul F. Syverson, David M. Goldschlag
Anonymous connections and onion routing. IEEE J. Sel. Areas Commun. 16 (4) (1998)
David M. Goldschlag, Stuart G. Stubblebine
Publicly Verifiable Lotteries: Applications of Delaying Functions. Financial Cryptography (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)
Carl E. Landwehr, David M. Goldschlag
Security issues in networks with Internet access. Proc. IEEE 85 (12) (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)
David M. Goldschlag
Several Secure Store and Forward Devices. CCS (1996)
John P. McDermott, David M. Goldschlag
Towards a model of storage jamming. CSFW (1996)
Michael G. Reed, Paul F. Syverson, David M. Goldschlag
Proxies For Anonymous Routing. ACSAC (1996)
David M. Goldschlag, Michael G. Reed, Paul F. Syverson
Hiding Routing Information. Information Hiding (1996)
John P. McDermott, David M. Goldschlag
Storage Jamming. DBSec (1995)
David M. Goldschlag
Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. Formal Methods Syst. Des. 5 (3) (1994)
David M. Goldschlag
Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. CAV (1991)
Robert S. Boyer, David M. Goldschlag, Matt Kaufmann, J. Strother Moore
Functional Instantiation in First-Order Logic. Artificial and Mathematical Theory of Computation (1991)
David M. Goldschlag
A Mechanical Formalization of Several Fairness Notions. VDM Europe (1) (1991)
David M. Goldschlag
Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover. IEEE Trans. Software Eng. 16 (9) (1990)
David M. Goldschlag
Mechanizing Unity. Programming Concepts and Methods (1990)