| 2013 | PODC | Plenary talk. | Michael Merritt |
| 2008 | OPODIS | Group Renaming. | Yehuda Afek, Iftah Gamzu, Irit Levy, Michael Merritt, Gadi Taubenfeld |
| 2001 | PODC | Restoration by path concatenation: fast recovery of MPLS paths. | Anat Bremler-Barr, Yehuda Afek, Haim Kaplan, Edith Cohen, Michael Merritt |
| 2001 | PODC | The concurrency hierarchy, and algorithms for unbounded concurrency. | Eli Gafni, Michael Merritt, Gadi Taubenfeld |
| 2001 | SIGMETRICS | Restoration path concatenation: fast recovery of MPLS paths. | Anat Bremler-Barr, Yehuda Afek, Haim Kaplan, Edith Cohen, Michael Merritt |
| 1999 | PODC | Fast, Wait-Free (2 | Yehuda Afek, Michael Merritt |
| 1999 | PODC | Sequentially Consistent versus Linearizable Counting Networks. | Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld |
| 1997 | ICDCS | Secure Reliable Multicast Protocols in a WAN. | Dahlia Malkhi, Michael Merritt, Ohad Rodeh |
| 1997 | PODC | Disentangling Multi-Object Operations (Extended Abstract). | Yehuda Afek, Michael Merritt, Gadi Taubenfeld, Dan Touitou |
| 1996 | PODC | The Power of Multi-objects (Extended Abstract). | Yehuda Afek, Michael Merritt, Gadi Taubenfeld |
| 1995 | CAV | Modelling Asynchrony with a Synchronous Model. | Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs |
| 1994 | ACSAC | Composing system integrity using I/O automata. | Edward Amoroso, Michael Merritt |
| 1993 | CAV | A Structural Linearization Principle for Processes. | Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs |
| 1993 | CCS | Augmented Encrypted Key Exchange: A Password-Based Protocol Secure against Dictionary Attacks and Password File Compromise. | Steven M. Bellovin, Michael Merritt |
| 1992 | PODC | Computing with Faulty Shared Memory (Extended Abstract). | Yehuda Afek, David S. Greenberg, Michael Merritt, Gadi Taubenfeld |
| 1992 | SP | Encrypted key exchange: password-based protocols secure against dictionary attacks. | Steven M. Bellovin, Michael Merritt |
| 1992 | SPAA | Specifying Non-Blocking Shared Memories (Extended Abstract). | Phillip B. Gibbons, Michael Merritt |
| 1991 | CONCUR | Time-Constrained Automata (Extended Abstract) | Michael Merritt, Francesmary Modugno, Marc R. Tuttle |
| 1991 | PODC | Knowledge in Shared Memory Systems (Preliminary Version). | Michael Merritt, Gadi Taubenfeld |
| 1991 | USENIX | Limitations of the Kerberos Authentication System. | Steven M. Bellovin, Michael Merritt |
| 1991 | SPAA | Proving Sequential Consistency of High-Performance Shared Memories (Extended Abstract). | Phillip B. Gibbons, Michael Merritt, Kourosh Gharachorloo |
| 1990 | PODC | Atomic Snapshots of Shared Memory. | Yehuda Afek, Danny Dolev, Hagit Attiya, Eli Gafni, Michael Merritt, Nir Shavit |
| 1989 | SPAA | A Lazy Cache Algorithm. | Yehuda Afek, Geoffrey M. Brown, Michael Merritt |
| 1988 | ICDT | A Theory of Atomic Transactions. | Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan D. Fekete |
| 1988 | VLDB | A Theory of Timestamp-Based Concurrency Control for Nested Transactions. | James Aspnes, Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl |
| 1987 | PODS | Nested Transactions and Read/Write Locking. | Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl |
| 1986 | ICDT | Introduction to the Theory of Nested Transactions. | Nancy A. Lynch, Michael Merritt |
| 1985 | PODC | Simple Constant-Time Consensus Protocols in Realistic Failure Models (Extended Abstract). | Benny Chor, Michael Merritt, David B. Shmoys |
| 1985 | PODC | Easy Impossibility Proofs for Distributed Consensus Problems. | Michael J. Fischer, Nancy A. Lynch, Michael Merritt |
| 1984 | CRYPTO | Poker Protocols. | Steven Fortune, Michael Merritt |
| 1984 | PODC | Elections in the Presence of Faults. | Michael Merritt |
| 1984 | PODC | A Distributed Algorithm for Deadlock Detection and Resolution. | Don P. Mitchell, Michael Merritt |
| 1982 | CRYPTO | Key Reconstruction. | Michael Merritt |
| 1982 | STOC | Cryptographic Protocols | Richard A. DeMillo, Nancy A. Lynch, Michael Merritt |
| 1981 | CRYPTO | The Design and Analysis of Cryptographic Protocols. | Richard A. DeMillo, Nancy A. Lynch, Michael Merritt |