Moses D. Liskov

According to our database, Moses D. Liskov authored at least 34 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Cryptographically Assured Information Flow: Assured Remote Execution.

Scott L. Dyer, Christian A. Femrite, Joshua D. Guttman, Julian P. Lanson, Moses D. Liskov

CoRR, 2024

2019

Enrich-by-Need Protocol Analysis for Diffie-Hellman.

Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

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 (Extended Version).

Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer

CoRR, 2018

2017

A practical, perfectly secure password scheme in the bounded retrieval model.

Moses D. Liskov

IACR Cryptol. ePrint Arch., 2017

2016

Measuring protocol strength with security goals.

Paul D. Rowe, Joshua D. Guttman, Moses D. Liskov

Int. J. Inf. Sec., 2016

2015

Formal Support for Standardizing Protocols with State.

Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe

Proceedings of the Security Standardisation Research - Second International Conference, 2015

2014

Security Goals and Evolving Standards.

Joshua D. Guttman, Moses D. Liskov, Paul D. Rowe

Proceedings of the Security Standardisation Research - First International Conference, 2014

Modeling Diffie-Hellman Derivability for Automated Analysis.

Moses D. Liskov, F. Javier Thayer

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2012

Automatic Reconfiguration for Large-Scale Reliable Storage Systems.

Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses D. Liskov, David A. Schultz

IEEE Trans. Dependable Secur. Comput., 2012

2011

Miller-Rabin Probabilistic Primality Test.

Moses D. Liskov

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Maurer's Method.

Moses D. Liskov

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Fermat's Little Theorem.

Moses D. Liskov

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Fermat Primality Test.

Moses D. Liskov

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Tweakable Block Ciphers.

Moses D. Liskov, Ronald L. Rivest, David A. Wagner

J. Cryptol., 2011

2010

MPSS: Mobile Proactive Secret Sharing.

David A. Schultz, Barbara Liskov, Moses D. Liskov

ACM Trans. Inf. Syst. Secur., 2010

On Related-Secret Pseudorandomness.

David Goldenberg, Moses D. Liskov

Proceedings of the Theory of Cryptography, 7th Theory of Cryptography Conference, 2010

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

Mobile proactive secret sharing.

David A. Schultz, Barbara Liskov, Moses D. Liskov

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Online-Untransferable Signatures.

Moses D. Liskov, Silvio Micali

Proceedings of the Public Key Cryptography, 2008

2007

On Tweaking Luby-Rackoff Blockciphers.

David Goldenberg, Susan Hohenberger, Moses D. Liskov, Elizabeth Crump Schwartz, Hakan Seyalioglu

IACR Cryptol. ePrint Arch., 2007

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

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Constructing an Ideal Hash Function from Weak Ideal Compression Functions.

Moses D. Liskov

Proceedings of the Selected Areas in Cryptography, 13th International Workshop, 2006

2005

Miller-Rabin Probabilistic Primality Test.

Moses D. Liskov

Proceedings of the Encyclopedia of Cryptography and Security, 2005

Maurer's Method.

Moses D. Liskov

Proceedings of the Encyclopedia of Cryptography and Security, 2005

Fermat's Little Theorem.

Moses D. Liskov

Proceedings of the Encyclopedia of Cryptography and Security, 2005

Fermat Primality Test.

Moses D. Liskov

Proceedings of the Encyclopedia of Cryptography and Security, 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

Updatable Zero-Knowledge Databases.

Moses D. Liskov

Proceedings of the Advances in Cryptology, 2005

2004

New tools in cryptography: mutually independent commitments, tweakable block ciphers, and plaintext awareness via key registration.

Moses D. Liskov

PhD thesis, 2004

2003

Plaintext Awareness via Key Registration.

Jonathan Herzog, Moses D. Liskov, Silvio Micali

Proceedings of the Advances in Cryptology, 2003

2001

Amortized E-Cash.

Moses D. Liskov, Silvio Micali

Proceedings of the Financial Cryptography, 2001

Mutually Independent Commitments.

Moses D. Liskov, Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Adam D. Smith

Proceedings of the Advances in Cryptology, 2001

1999

Efficient Finite Field Basis Conversion Involving Dual Bases.

Burton S. Kaliski Jr., Moses D. Liskov

Proceedings of the Cryptographic Hardware and Embedded Systems, 1999