Moses D. Liskov

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 6

Top Venues

CoRR

SSR

J. Comput. Syst. Sci.

CSF

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Scott L. Dyer, Christian A. Femrite, Joshua D. Guttman, Julian P. Lanson, Moses D. Liskov
Cryptographically Assured Information Flow: Assured Remote Execution. CoRR (2024)
Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer
Enrich-by-Need Protocol Analysis for Diffie-Hellman. Foundations of Security, Protocols, and Equational Reasoning (2019)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Task-structured probabilistic I/O automata. J. Comput. Syst. Sci. 94 (2018)
Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer
Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version). CoRR (2018)
Moses D. Liskov
A practical, perfectly secure password scheme in the bounded retrieval model. IACR Cryptol. ePrint Arch. 2017 (2017)
Paul D. Rowe, Joshua D. Guttman, Moses D. Liskov
Measuring protocol strength with security goals. Int. J. Inf. Sec. 15 (6) (2016)
Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe
Formal Support for Standardizing Protocols with State. SSR (2015)
Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe
Formal Support for Standardizing Protocols with State. CoRR (2015)
Joshua D. Guttman, Moses D. Liskov, Paul D. Rowe
Security Goals and Evolving Standards. SSR (2014)
Moses D. Liskov, F. Javier Thayer
Modeling Diffie-Hellman Derivability for Automated Analysis. CSF (2014)
Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses D. Liskov, David A. Schultz
Automatic Reconfiguration for Large-Scale Reliable Storage Systems. IEEE Trans. Dependable Secur. Comput. 9 (2) (2012)
Moses D. Liskov, Ronald L. Rivest, David A. Wagner
Tweakable Block Ciphers. J. Cryptol. 24 (3) (2011)
David A. Schultz, Barbara Liskov, Moses D. Liskov
MPSS: Mobile Proactive Secret Sharing. ACM Trans. Inf. Syst. Secur. 13 (4) (2010)
David Goldenberg, Moses D. Liskov
On Related-Secret Pseudorandomness. TCC (2010)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Discret. Event Dyn. Syst. 18 (1) (2008)
Moses D. Liskov, Silvio Micali
Online-Untransferable Signatures. Public Key Cryptography (2008)
David A. Schultz, Barbara Liskov, Moses D. Liskov
Mobile proactive secret sharing. PODC (2008)
David Goldenberg, Susan Hohenberger, Moses D. Liskov, Elizabeth Crump Schwartz, Hakan Seyalioglu
On Tweaking Luby-Rackoff Blockciphers. ASIACRYPT (2007)
David Goldenberg, Susan Hohenberger, Moses D. Liskov, Elizabeth Crump Schwartz, Hakan Seyalioglu
On Tweaking Luby-Rackoff Blockciphers. IACR Cryptol. ePrint Arch. 2007 (2007)
Moses D. Liskov
Constructing an Ideal Hash Function from Weak Ideal Compression Functions. Selected Areas in Cryptography (2006)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. DISC (2006)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. IACR Cryptol. ePrint Arch. 2005 (2005)
Moses D. Liskov
Updatable Zero-Knowledge Databases. ASIACRYPT (2005)
Jonathan Herzog, Moses D. Liskov, Silvio Micali
Plaintext Awareness via Key Registration. CRYPTO (2003)
Moses D. Liskov, Ronald L. Rivest, David A. Wagner
Tweakable Block Ciphers. CRYPTO (2002)
Moses D. Liskov, Silvio Micali
Amortized E-Cash. Financial Cryptography (2001)
Moses D. Liskov, Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Adam D. Smith
Mutually Independent Commitments. ASIACRYPT (2001)
Burton S. Kaliski Jr., Moses D. Liskov
Efficient Finite Field Basis Conversion Involving Dual Bases. CHES (1999)

Moses D. Liskov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Moses D. Liskov