- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j7 |      | David M. Goldschlag, Stuart G. Stubblebine, Paul F. Syverson: Temporarily hidden bit commitment and lottery applications. Int. J. Inf. Sec. 9(1): 33-50 (2010) |
| 1999 | ||
| j6 | | David M. Goldschlag, Michael G. Reed, Paul F. Syverson: Onion Routing. Commun. ACM 42(2): 39-41 (1999) |
| j5 | | David M. Goldschlag: A Mechanization of Unity in PC-NQTHM-92. J. Autom. Reasoning 23(3-4): 445-498 (1999) |
| j4 | | Stuart G. Stubblebine, Paul F. Syverson, David M. Goldschlag: Unlinkable serial transactions: protocols and applications. ACM Trans. Inf. Syst. Secur. 2(4): 354-389 (1999) |
| c14 | | David W. Kravitz, David M. Goldschlag: Conditional Access Concepts and Principles. Financial Cryptography 1999: 158-172 |
| c13 | | Jon Callas, Joan Feigenbaum, David M. Goldschlag, Erin Sawyer: Fair Use, Intellectual Property, and the Information Economy (Panel Session Summary). Financial Cryptography 1999: 173-183 |
| 1998 | ||
| c12 | | |
| c11 | | David M. Goldschlag, Stuart G. Stubblebine: Publicly Verifiable Lotteries: Applications of Delaying Functions. Financial Cryptography 1998: 214-226 |
| 1997 | ||
| j3 | | Paul F. Syverson, Michael G. Reed, David M. Goldschlag: Private Web Browsing. Journal of Computer Security 5(3): 237-248 (1997) |
| c10 | | Paul F. Syverson, Stuart G. Stubblebine, David M. Goldschlag: Unlinkable Serial Transactions. Financial Cryptography 1997: 39-56 |
| c9 | | Paul F. Syverson, David M. Goldschlag, Michael G. Reed: Anonymous Connections and Onion Routing. IEEE Symposium on Security and Privacy 1997: 44-54 |
| c8 | | Michael G. Reed, Paul F. Syverson, David M. Goldschlag: Protocols Using Anonymous Connections: Mobile Applications. Security Protocols Workshop 1997: 13-23 |
| 1996 | ||
| c7 | | Michael G. Reed, Paul F. Syverson, David M. Goldschlag: Proxies For Anonymous Routing. ACSAC 1996: 95-104 |
| c6 | | David M. Goldschlag: Several Secure Store and Forward Devices. ACM Conference on Computer and Communications Security 1996: 129-137 |
| c5 | | |
| c4 | | David M. Goldschlag, Michael G. Reed, Paul F. Syverson: Hiding Routing Information. Information Hiding 1996: 137-150 |
| 1995 | ||
| c3 |  | |
| 1994 | ||
| j2 | | David M. Goldschlag: Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. Formal Methods in System Design 5(3): 207-225 (1994) |
| 1991 | ||
| c2 | | David M. Goldschlag: Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. CAV 1991: 354-364 |
| c1 | | David M. Goldschlag: A Mechanical Formalization of Several Fairness Notions. VDM Europe (1) 1991: 125-148 |
| 1990 | ||
| j1 | | David M. Goldschlag: Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover. IEEE Trans. Software Eng. 16(9): 1005-1023 (1990) |
| 1 | Jon Callas | |
| 2 | Joan Feigenbaum | |
| 3 | David W. Kravitz | |
| 4 | John P. McDermott | |
| 5 | Michael G. Reed | |
| 6 | Erin Sawyer | |
| 7 | Stuart G. Stubblebine | |
| 8 | Paul F. Syverson |
Data released under the ODC-BY 1.0 license — See also our legal information page