Efficient Finite Field Basis Conversion Involving Dual Bases. - Burton S. Kaliski Jr.; Moses D. Liskov (CHES, 1999)

Mutually Independent Commitments. - Moses D. Liskov; Anna Lysyanskaya; Silvio Micali; Leonid Reyzin; Adam D. Smith 001 (ASIACRYPT, 2001)

Amortized E-Cash. - Moses D. Liskov; Silvio Micali (Financial Cryptography, 2001)

Plaintext Awareness via Key Registration. - Jonathan Herzog; Moses D. Liskov; Silvio Micali (CRYPTO, 2003)

New tools in cryptography: mutually independent commitments, tweakable block ciphers, and plaintext awareness via key registration. - Moses D. Liskov (2004)

Updatable Zero-Knowledge Databases. - Moses D. Liskov (ASIACRYPT, 2005)

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Moses D. Liskov; Nancy A. Lynch; Olivier Pereira; Roberto Segala (IACR Cryptol. ePrint Arch., 2005)

Fermat Primality Test. - Moses D. Liskov (Encyclopedia of Cryptography and Security, 2005)

Fermat's Little Theorem. - Moses D. Liskov (Encyclopedia of Cryptography and Security, 2005)

Maurer's Method. - Moses D. Liskov (Encyclopedia of Cryptography and Security, 2005)

Miller-Rabin Probabilistic Primality Test. - Moses D. Liskov (Encyclopedia of Cryptography and Security, 2005)

Constructing an Ideal Hash Function from Weak Ideal Compression Functions. - Moses D. Liskov (Selected Areas in Cryptography, 2006)

Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Moses D. Liskov; Nancy A. Lynch; Olivier Pereira; Roberto Segala (DISC, 2006)

On Tweaking Luby-Rackoff Blockciphers. - David Goldenberg; Susan Hohenberger; Moses D. Liskov; Elizabeth Crump Schwartz; Hakan Seyalioglu (IACR Cryptol. ePrint Arch., 2007)

Online-Untransferable Signatures. - Moses D. Liskov; Silvio Micali (Public Key Cryptography, 2008)

Mobile proactive secret sharing. - David A. Schultz; Barbara Liskov; Moses D. Liskov (PODC, 2008)

Analyzing Security Protocols Using Time-Bounded Task-PIOAs. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Moses D. Liskov; Nancy A. Lynch; Olivier Pereira; Roberto Segala (Discret. Event Dyn. Syst., 2008)

On Related-Secret Pseudorandomness. - David Goldenberg; Moses D. Liskov (TCC, 2010)

MPSS: Mobile Proactive Secret Sharing. - David A. Schultz; Barbara Liskov; Moses D. Liskov (ACM Trans. Inf. Syst. Secur., 2010)

Tweakable Block Ciphers. - Moses D. Liskov; Ronald L. Rivest; David A. Wagner 001 (J. Cryptol., 2011)

Fermat Primality Test. - Moses D. Liskov (Encyclopedia of Cryptography and Security (2nd Ed.), 2011)

Fermat's Little Theorem. - Moses D. Liskov (Encyclopedia of Cryptography and Security (2nd Ed.), 2011)

Maurer's Method. - Moses D. Liskov (Encyclopedia of Cryptography and Security (2nd Ed.), 2011)

Miller-Rabin Probabilistic Primality Test. - Moses D. Liskov (Encyclopedia of Cryptography and Security (2nd Ed.), 2011)

Automatic Reconfiguration for Large-Scale Reliable Storage Systems. - Rodrigo Rodrigues 001; Barbara Liskov; Kathryn Chen; Moses D. Liskov; David A. Schultz (IEEE Trans. Dependable Secur. Comput., 2012)

Modeling Diffie-Hellman Derivability for Automated Analysis. - Moses D. Liskov; F. Javier Thayer (CSF, 2014)

Security Goals and Evolving Standards. - Joshua D. Guttman; Moses D. Liskov; Paul D. Rowe (SSR, 2014)

Formal Support for Standardizing Protocols with State. - Joshua D. Guttman; Moses D. Liskov; John D. Ramsdell; Paul D. Rowe (SSR, 2015)

Measuring protocol strength with security goals. - Paul D. Rowe; Joshua D. Guttman; Moses D. Liskov (Int. J. Inf. Sec., 2016)

A practical, perfectly secure password scheme in the bounded retrieval model. - Moses D. Liskov (IACR Cryptol. ePrint Arch., 2017)

Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version). - Moses D. Liskov; Joshua D. Guttman; John D. Ramsdell; Paul D. Rowe; F. Javier Thayer (CoRR, 2018)

Task-structured probabilistic I/O automata. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Moses D. Liskov; Nancy A. Lynch; Olivier Pereira; Roberto Segala (J. Comput. Syst. Sci., 2018)

Enrich-by-Need Protocol Analysis for Diffie-Hellman. - Moses D. Liskov; Joshua D. Guttman; John D. Ramsdell; Paul D. Rowe; F. Javier Thayer (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Cryptographically Assured Information Flow: Assured Remote Execution. - Scott L. Dyer; Christian A. Femrite; Joshua D. Guttman; Julian P. Lanson; Moses D. Liskov (CoRR, 2024)