David M. Goldschlag

26 papers A* 2A 1B 1C 1Journal 9Unranked 12

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