Stuart G. Stubblebine

Publication Activity (10 Years)

Years Active: 1991-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)
Paul C. van Oorschot, Stuart G. Stubblebine
On countering online dictionary attacks with login histories and humans-in-the-loop. ACM Trans. Inf. Syst. Secur. 9 (3) (2006)
Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine
Reducing the Dependence of SPKI/SDSI on PKI. ESORICS (2006)
Craig Gentry, Zulfikar Ramzan, Stuart G. Stubblebine
Secure Distributed Human Computation. Security Protocols Workshop (2006)
Craig Gentry, Zulfikar Ramzan, Stuart G. Stubblebine
Secure distributed human computation. EC (2005)
Richard Clayton, Drew Dean, Markus Jakobsson, Steven A. Myers, Stuart G. Stubblebine, Michael Szydlo
A Chat at the Old Phishin' Hole. Financial Cryptography (2005)
Paul C. van Oorschot, Stuart G. Stubblebine
Countering Identity Theft Through Digital Uniqueness, Location Cross-Checking, and Funneling. Financial Cryptography (2005)
Craig Gentry, Zulfikar Ramzan, Stuart G. Stubblebine
Computation. Financial Cryptography (2005)
Charles U. Martel, Glen Nuckolls, Premkumar T. Devanbu, Michael Gertz, April Kwong, Stuart G. Stubblebine
A General Model for Authenticated Data Structures. Algorithmica 39 (1) (2004)
Stuart G. Stubblebine, Paul C. van Oorschot
Addressing Online Dictionary Attacks with Login Histories and Humans-in-the-Loop (Extended Abstract). Financial Cryptography (2004)
Carl A. Gunter, Michael J. May, Stuart G. Stubblebine
A Formal Privacy System and Its Application to Location Based Services. Privacy Enhancing Technologies (2004)
Glen Nuckolls, Charles U. Martel, Stuart G. Stubblebine
Certifying Data from Multiple Sources. DBSec (2003)
Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine
On Generalized Authorization Problems. CSFW (2003)
Glen Nuckolls, Charles U. Martel, Stuart G. Stubblebine
Certifying data from multiple sources (extended abstract). EC (2003)
Premkumar T. Devanbu, Michael Gertz, Charles U. Martel, Stuart G. Stubblebine
Authentic Data Publication Over the Internet. J. Comput. Secur. 11 (3) (2003)
Stuart G. Stubblebine, Rebecca N. Wright
An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency. IEEE Trans. Software Eng. 28 (3) (2002)
Premkumar T. Devanbu, Stuart G. Stubblebine
Stack and Queue Integrity on Hostile Platforms. IEEE Trans. Software Eng. 28 (1) (2002)
Philippe Golle, Stuart G. Stubblebine
Secure Distributed Computing in a Commercial Environment. Financial Cryptography (2001)
Premkumar T. Devanbu, Michael Gertz, April Kwong, Charles U. Martel, Glen Nuckolls, Stuart G. Stubblebine
Flexible authentication of XML documents. CCS (2001)
Premkumar T. Devanbu, Stuart G. Stubblebine
Cryptographic Verification of Test Coverage Claims. IEEE Trans. Software Eng. 26 (2) (2000)
Premkumar T. Devanbu, Michael Gertz, Charles U. Martel, Stuart G. Stubblebine
Authentic Third-party Data Publication. DBSec (2000)
Stuart G. Stubblebine, Paul F. Syverson
Authentic Attributes with Fine-Grained Anonymity Protection. Financial Cryptography (2000)
Premkumar T. Devanbu, Stuart G. Stubblebine
Software engineering for security: a roadmap. ICSE - Future of SE Track (2000)
Stuart G. Stubblebine, Catherine A. Meadows
Formal characterization and automated analysis of known-pair and chosen-text attacks. IEEE J. Sel. Areas Commun. 18 (4) (2000)
Stuart G. Stubblebine, Paul F. Syverson, David M. Goldschlag
Unlinkable serial transactions: protocols and applications. ACM Trans. Inf. Syst. Secur. 2 (4) (1999)
Michael K. Reiter, Stuart G. Stubblebine
Authentication Metric Analysis and Design. ACM Trans. Inf. Syst. Secur. 2 (2) (1999)
Paul F. Syverson, Stuart G. Stubblebine
Group Principals and the Formalization of Anonymity. World Congress on Formal Methods (1999)
Stuart G. Stubblebine, Paul F. Syverson
Fair On-Line Auctions without Special Trusted Parties. Financial Cryptography (1999)
Premkumar T. Devanbu, Stuart G. Stubblebine
Stack and Queue Integrity on Hostile Platforms. IEEE Symposium on Security and Privacy (1998)
Michael K. Reiter, Stuart G. Stubblebine
Resilient Authentication Using Path Independence. IEEE Trans. Computers 47 (12) (1998)
Premkumar T. Devanbu, Philip W. L. Fong, Stuart G. Stubblebine
Techniques for Trusted Software Engineering. ICSE (1998)
David M. Goldschlag, Stuart G. Stubblebine
Publicly Verifiable Lotteries: Applications of Delaying Functions. Financial Cryptography (1998)
Premkumar T. Devanbu, Stuart G. Stubblebine
Cryptographic Verification of Test Coverage Claims. ESEC / SIGSOFT FSE (1997)
Michael K. Reiter, Stuart G. Stubblebine
Toward Acceptable Metrics of Authentication. IEEE Symposium on Security and Privacy (1997)
Paul F. Syverson, Stuart G. Stubblebine, David M. Goldschlag
Unlinkable Serial Transactions. Financial Cryptography (1997)
Michael K. Reiter, Stuart G. Stubblebine
Path Independence for Authentication in Large-Scale Systems. CCS (1997)
Premkumar T. Devanbu, Stuart G. Stubblebine
Research Directions for Automated Software Verification: Using Trusted Hardware. ASE (1997)
Stuart G. Stubblebine, Rebecca N. Wright
An Authentication Logic Supporting Synchronization, Revocation, and Recency. CCS (1996)
Stuart G. Stubblebine
Recent-secure authentication: enforcing revocation in distributed systems. IEEE Symposium on Security and Privacy (1995)
B. Clifford Neuman, Stuart G. Stubblebine
A Note on the Use of Timestamps as Nonces. ACM SIGOPS Oper. Syst. Rev. 27 (2) (1993)
Stuart G. Stubblebine, Virgil D. Gligor
Protocol design for integrity protection. IEEE Symposium on Security and Privacy (1993)
Stuart G. Stubblebine, Virgil D. Gligor
On message integrity in cryptographic protocols. IEEE Symposium on Security and Privacy (1992)
Virgil D. Gligor, Rajashekar Kailar, Stuart G. Stubblebine, Li Gong
Logics for Cryptographic Protocols - Virtues and Limitations. CSFW (1991)