Moses D. Liskov

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