Logics for Cryptographic Protocols - Virtues and Limitations. - Virgil D. Gligor; Rajashekar Kailar; Stuart G. Stubblebine; Li Gong (CSFW, 1991)

On message integrity in cryptographic protocols. - Stuart G. Stubblebine; Virgil D. Gligor (S&P, 1992)

Protocol design for integrity protection. - Stuart G. Stubblebine; Virgil D. Gligor (S&P, 1993)

A Note on the Use of Timestamps as Nonces. - B. Clifford Neuman; Stuart G. Stubblebine (ACM SIGOPS Oper. Syst. Rev., 1993)

Recent-secure authentication: enforcing revocation in distributed systems. - Stuart G. Stubblebine (S&P, 1995)

An Authentication Logic Supporting Synchronization, Revocation, and Recency. - Stuart G. Stubblebine; Rebecca N. Wright (CCS, 1996)

Path Independence for Authentication in Large-Scale Systems. - Michael K. Reiter; Stuart G. Stubblebine (CCS, 1997)

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

Research Directions for Automated Software Verification: Using Trusted Hardware. - Premkumar T. Devanbu; Stuart G. Stubblebine (ASE, 1997)

Toward Acceptable Metrics of Authentication. - Michael K. Reiter; Stuart G. Stubblebine (S&P, 1997)

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

Techniques for Trusted Software Engineering. - Premkumar T. Devanbu; Philip W. L. Fong; Stuart G. Stubblebine (ICSE, 1998)

Resilient Authentication Using Path Independence. - Michael K. Reiter; Stuart G. Stubblebine (IEEE Trans. Computers, 1998)

Fair On-Line Auctions without Special Trusted Parties. - Stuart G. Stubblebine; Paul F. Syverson (Financial Cryptography, 1999)

Group Principals and the Formalization of Anonymity. - Paul F. Syverson; Stuart G. Stubblebine (World Congress on Formal Methods, 1999)

Authentication Metric Analysis and Design. - Michael K. Reiter; Stuart G. Stubblebine (ACM Trans. Inf. Syst. Secur., 1999)

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

Authentic Third-party Data Publication. - Premkumar T. Devanbu; Michael Gertz 001; Charles U. Martel; Stuart G. Stubblebine (DBSec, 2000)

Authentic Attributes with Fine-Grained Anonymity Protection. - Stuart G. Stubblebine; Paul F. Syverson (Financial Cryptography, 2000)

Software engineering for security: a roadmap. - Premkumar T. Devanbu; Stuart G. Stubblebine (ICSE - Future of SE Track, 2000)

Formal characterization and automated analysis of known-pair and chosen-text attacks. - Stuart G. Stubblebine; Catherine A. Meadows (IEEE J. Sel. Areas Commun., 2000)

Cryptographic Verification of Test Coverage Claims. - Premkumar T. Devanbu; Stuart G. Stubblebine (IEEE Trans. Software Eng., 2000)

Flexible authentication of XML documents. - Premkumar T. Devanbu; Michael Gertz 001; April Kwong; Charles U. Martel; Glen Nuckolls; Stuart G. Stubblebine (CCS, 2001)

Secure Distributed Computing in a Commercial Environment. - Philippe Golle; Stuart G. Stubblebine (Financial Cryptography, 2001)

Stack and Queue Integrity on Hostile Platforms. - Premkumar T. Devanbu; Stuart G. Stubblebine (IEEE Trans. Software Eng., 2002)

An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency. - Stuart G. Stubblebine; Rebecca N. Wright (IEEE Trans. Software Eng., 2002)

On Generalized Authorization Problems. - Stefan Schwoon; Somesh Jha; Thomas W. Reps; Stuart G. Stubblebine (CSFW, 2003)

Certifying Data from Multiple Sources. - Glen Nuckolls; Charles U. Martel; Stuart G. Stubblebine (DBSec, 2003)

Certifying data from multiple sources (extended abstract). - Glen Nuckolls; Charles U. Martel; Stuart G. Stubblebine (EC, 2003)

Authentic Data Publication Over the Internet. - Premkumar T. Devanbu; Michael Gertz 001; Charles U. Martel; Stuart G. Stubblebine (J. Comput. Secur., 2003)

Addressing Online Dictionary Attacks with Login Histories and Humans-in-the-Loop (Extended Abstract). - Stuart G. Stubblebine; Paul C. van Oorschot (Financial Cryptography, 2004)

A Formal Privacy System and Its Application to Location Based Services. - Carl A. Gunter; Michael J. May; Stuart G. Stubblebine (Privacy Enhancing Technologies, 2004)

A General Model for Authenticated Data Structures. - Charles U. Martel; Glen Nuckolls; Premkumar T. Devanbu; Michael Gertz 001; April Kwong; Stuart G. Stubblebine (Algorithmica, 2004)

A Chat at the Old Phishin' Hole. - Richard Clayton 001; Drew Dean; Markus Jakobsson; Steven A. Myers; Stuart G. Stubblebine; Michael Szydlo (Financial Cryptography, 2005)

Secure Distributed Human Computation. - Craig Gentry; Zulfikar Ramzan; Stuart G. Stubblebine (Financial Cryptography, 2005)

Countering Identity Theft Through Digital Uniqueness, Location Cross-Checking, and Funneling. - Paul C. van Oorschot; Stuart G. Stubblebine (Financial Cryptography, 2005)

Reducing the Dependence of SPKI/SDSI on PKI. - Hao Wang 112; Somesh Jha; Thomas W. Reps; Stefan Schwoon; Stuart G. Stubblebine (ESORICS, 2006)

Secure Distributed Human Computation. - Craig Gentry; Zulfikar Ramzan; Stuart G. Stubblebine (Security Protocols Workshop, 2006)

On countering online dictionary attacks with login histories and humans-in-the-loop. - Paul C. van Oorschot; Stuart G. Stubblebine (ACM Trans. Inf. Syst. Secur., 2006)

Regular expression pocket reference - regular expressions for Perl, Ruby, PHP, Python, C, Java, and .NET (2. ed.). - Stuart G. Stubblebine (O'Reilly, 2007)

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