| 2000 | SP | Fang: A Firewall Analysis Engine. | Alain J. Mayer, Avishai Wool, Elisha Ziskind |
| 1999 | CCS | Secure Protocol Transformation via "Expansion": From Two-Party to Groups. | Alain J. Mayer, Moti Yung |
| 1999 | SP | Firmato: A Novel Firewall Management Toolkit. | Yair Bartal, Alain J. Mayer, Kobbi Nissim, Avishai Wool |
| 1998 | FC | Curbing Junk E-Mail via Secure Classification. | Eran Gabber, Markus Jakobsson, Yossi Matias, Alain J. Mayer |
| 1997 | FC | How to Make Personalized Web Browising Simple, Secure, and Anonymous. | Eran Gabber, Phillip B. Gibbons, Yossi Matias, Alain J. Mayer |
| 1996 | INFOCOM | Approximating Max-Min Fair Rates via Distributed Local Scheduling with Partial Information. | Alain J. Mayer, Yoram Ofek, Moti Yung |
| 1996 | SODA | Self-Stabilizing Algorithms for Synchronous Unidirectional Rings. | Alain J. Mayer, Rafail Ostrovsky, Moti Yung |
| 1995 | FOCS | Resolving Message Complexity of Byzantine Agreement and beyond. | Zvi Galil, Alain J. Mayer, Moti Yung |
| 1995 | INFOCOM | Local Fairness in General-Topology Networks with Convergence Routing. | Alain J. Mayer, Yoram Ofek, Moti Yung |
| 1995 | SODA | Guaranteeing Fair Service to Persistent Dependent Tasks. | Amotz Bar-Noy, Alain J. Mayer, Baruch Schieber, Madhu Sudan |
| 1994 | PODC | Time-Optimal Message-Efficient Work Performance in the Presence of Faults (Extended Summary). | Roberto De Prisco, Alain J. Mayer, Moti Yung |
| 1992 | STOC | Self-Stabilizing Symmetry Breaking in Constant-Space (Extended Abstract) | Alain J. Mayer, Yoram Ofek, Rafail Ostrovsky, Moti Yung |