David M. Goldschlag

Int. J. Inf. Sec., 2010

1999

Unlinkable serial transactions: protocols and applications.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 1999

A Mechanization of Unity in PC-NQTHM-92.

[BibT_eX]

[DOI]

J. Autom. Reason., 1999

Onion Routing.

[BibT_eX]

[DOI]

Commun. ACM, 1999

Beyond Cryptographic Conditional Access.

[BibT_eX]

[DOI]

David W. Kravitz

Proceedings of the 1st Workshop on Smartcard Technology, 1999

Conditional Access Concepts and Principles.

[BibT_eX]

[DOI]

David W. Kravitz

Proceedings of the Financial Cryptography, 1999

Fair Use, Intellectual Property, and the Information Economy (Panel Session Summary).

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography, 1999

1998

Anonymous connections and onion routing.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 1998

Publicly Verifiable Lotteries: Applications of Delaying Functions.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography, 1998

Pirate Card Rejection.

[BibT_eX]

[DOI]

David W. Kravitz

Proceedings of the Smart Card Research and Applications, This International Conference, 1998

1997

Security issues in networks with Internet access.

[BibT_eX]

[DOI]

Carl E. Landwehr

Proc. IEEE, 1997

Private Web Browsing.

[BibT_eX]

[DOI]

J. Comput. Secur., 1997

Protocols Using Anonymous Connections: Mobile Applications.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 1997

Unlinkable Serial Transactions.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography, 1997

1996

Hiding Routing Information.

[BibT_eX]

[DOI]

Proceedings of the Information Hiding, First International Workshop, Cambridge, UK, May 30, 1996

Towards a model of storage jamming.

[BibT_eX]

[DOI]

John P. McDermott

Proceedings of the Ninth IEEE Computer Security Foundations Workshop, March 10, 1996

Several Secure Store and Forward Devices.

[BibT_eX]

[DOI]

Proceedings of the CCS '96, 1996

Proxies For Anonymous Routing.

[BibT_eX]

[DOI]

Proceedings of the 12th Annual Computer Security Applications Conference (ACSAC 1996), 1996

1995

Storage Jamming.

[BibT_eX]

John P. McDermott

Proceedings of the Database Security IX: Status and Prospects, 1995

1994

Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1994

1991

A Mechanical Formalization of Several Fairness Notions.

[BibT_eX]

[DOI]

Proceedings of the VDM '91, 1991

Functional Instantiation in First-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

1990

Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

Mechanizing Unity.

[BibT_eX]