Mechanizing Unity. - David M. Goldschlag (Programming Concepts and Methods, 1990)

Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover. - David M. Goldschlag (IEEE Trans. Software Eng., 1990)

Functional Instantiation in First-Order Logic. - Robert S. Boyer; David M. Goldschlag; Matt Kaufmann; J Strother Moore (Artificial and Mathematical Theory of Computation, 1991)

A Mechanical Formalization of Several Fairness Notions. - David M. Goldschlag (VDM Europe (1), 1991)

Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. - David M. Goldschlag (Formal Methods Syst. Des., 1994)

Storage Jamming. - John P. McDermott; David M. Goldschlag (DBSec, 1995)

Proxies For Anonymous Routing. - Michael G. Reed; Paul F. Syverson; David M. Goldschlag (ACSAC, 1996)

Several Secure Store and Forward Devices. - David M. Goldschlag (CCS, 1996)

Towards a model of storage jamming. - John P. McDermott; David M. Goldschlag (CSFW, 1996)

Hiding Routing Information. - David M. Goldschlag; Michael G. Reed; Paul F. Syverson (Information Hiding, 1996)

Unlinkable Serial Transactions. - Paul F. Syverson; Stuart G. Stubblebine; David M. Goldschlag (Financial Cryptography, 1997)

Protocols Using Anonymous Connections: Mobile Applications. - Michael G. Reed; Paul F. Syverson; David M. Goldschlag (Security Protocols Workshop, 1997)

Private Web Browsing. - Paul F. Syverson; Michael G. Reed; David M. Goldschlag (J. Comput. Secur., 1997)

Security issues in networks with Internet access. - Carl E. Landwehr; David M. Goldschlag (Proc. IEEE, 1997)

Pirate Card Rejection. - David M. Goldschlag; David W. Kravitz (CARDIS, 1998)

Publicly Verifiable Lotteries: Applications of Delaying Functions. - David M. Goldschlag; Stuart G. Stubblebine (Financial Cryptography, 1998)

Anonymous connections and onion routing. - Michael G. Reed; Paul F. Syverson; David M. Goldschlag (IEEE J. Sel. Areas Commun., 1998)

Fair Use, Intellectual Property, and the Information Economy (Panel Session Summary). - Jon Callas; Joan Feigenbaum; David M. Goldschlag; Erin Sawyer (Financial Cryptography, 1999)

Conditional Access Concepts and Principles. - David W. Kravitz; David M. Goldschlag (Financial Cryptography, 1999)

Beyond Cryptographic Conditional Access. - David M. Goldschlag; David W. Kravitz (Smartcard, 1999)

Onion Routing. - David M. Goldschlag; Michael G. Reed; Paul F. Syverson (Commun. ACM, 1999)

A Mechanization of Unity in PC-NQTHM-92. - David M. Goldschlag (J. Autom. Reason., 1999)

Unlinkable serial transactions: protocols and applications. - Stuart G. Stubblebine; Paul F. Syverson; David M. Goldschlag (ACM Trans. Inf. Syst. Secur., 1999)

Temporarily hidden bit commitment and lottery applications. - David M. Goldschlag; Stuart G. Stubblebine; Paul F. Syverson (Int. J. Inf. Sec., 2010)