| Encrypted key exchange: Password-based protocols secure against dictionary attacks SM Bellovin, M Merritt | 2168 | 1992 |
| Atomic snapshots of shared memory Y Afek, H Attiya, D Dolev, E Gafni, M Merritt, N Shavit Journal of the ACM (JACM) 40 (4), 873-890, 1993 | 697 | 1993 |
| Augmented encrypted key exchange: A password-based protocol secure against dictionary attacks and password file compromise SM Bellovin, M Merritt Proceedings of the 1st ACM Conference on Computer and Communications …, 1993 | 667 | 1993 |
| Limitations of the Kerberos authentication system SM Bellovin, M Merritt ACM SIGCOMM Computer Communication Review 20 (5), 119-132, 1990 | 625 | 1990 |
| Easy Impossibility Proofs for Distributed Concensus Problems. MJ Fischer, NA Lynch, M Merritt YALE UNIV NEW HAVEN CT DEPT OF COMPUTER SCIENCE, 1985 | 415 | 1985 |
| Cryptographic protocol for secure communications SM Bellovin, M Merritt US Patent 5,241,599, 1993 | 238 | 1993 |
| Cryptographic protocols RA DeMillo, NA Lynch, MJ Merritt Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982 | 217 | 1982 |
| Time-constrained automata M Merritt, F Modugno, MR Tuttle CONCUR'91: 2nd International Conference on Concurrency Theory Amsterdam, The …, 1991 | 184 | 1991 |
| A distributed algorithm for deadlock detection and resolution DP Mitchell, MJ Merritt Proceedings of the third annual ACM symposium on Principles of distributed …, 1984 | 183 | 1984 |
| Lazy caching Y Afek, G Brown, M Merritt ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (1), 182-205, 1993 | 156 | 1993 |
| Cryptographic protocols MJ Merritt Georgia Institute of Technology, 1983 | 136 | 1983 |
| Cryptographic protocol for remote authentication SM Bellovin, MJ Merritt US Patent 5,440,635, 1995 | 133 | 1995 |
| Computing with infinitely many processes: Under assumptions on concurrency and participation M Merritt, G Taubenfeld Distributed Computing: 14th International Conference, DISC 2000 Toledo …, 2002 | 108 | 2002 |
| Introduction to the theory of nested transactions N Lynch, M Merritt Theoretical Computer Science 62 (1-2), 123-185, 1986 | 108 | 1986 |
| Atomic transactions: in concurrent and distributed systems NA Lynch, M Merritt Morgan Kaufmann Publishers Inc., 1993 | 102 | 1993 |
| Proving sequential consistency of high-performance shared memories PB Gibbons, M Merritt, K Gharachorloo Proceedings of the third annual ACM symposium on Parallel algorithms and …, 1991 | 96 | 1991 |
| Disentangling multi-object operations Y Afek, M Merritt, G Taubenfeld, D Touitou Proceedings of the sixteenth annual ACM symposium on Principles of …, 1997 | 95 | 1997 |
| Commutativity-based locking for nested transactions A Fekete, N Lynch, M Merritt, W Weihl Journal of Computer and System Sciences 41 (1), 65-156, 1990 | 94 | 1990 |
| Protocols for data security R Demillo, M Merritt Computer 16 (02), 39-51, 1983 | 90 | 1983 |
| A bounded first-in, first-enabled solution to the l-exclusion problem Y Afek, D Dolev, E Gafni, M Merritt, N Shavit ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 939-953, 1994 | 77 | 1994 |
