| 2018 | FLOPS | Cheap Remarks About Concurrent Programs. | Michael Walker, Colin Runciman |
| 2015 | HASKELL | Dj Fu: a concurrency testing library for Haskell. | Michael Walker, Colin Runciman |
| 2007 | IGARSS | Development and testing of the GISMOS instrument. | James L. Garrison, Michael Walker, Jennifer S. Haase, Tyler Lulich, Feiqin Xie, Brian D. Ventre, Michael H. Boehme, Ben Wilmhoff, Stephen J. Katzberg |
| 2000 | EuroCrypt | On the Security of 3GPP Networks. | Michael Walker |
| 1990 | EuroCrypt | Precautions Taken Against Various Potential Attacks in ISO/IEC DIS 9796 "Digital Signature Scheme Giving Message Recovery". | Louis C. Guillou, Jean-Jacques Quisquater, Michael Walker, Peter Landrock, Caroline Shafer |
| 1989 | EuroCrypt | A General Zero-Knowledge Scheme (Extended Abstract). | Mike Burmester, Yvo Desmedt, Fred Piper, Michael Walker |
| 1989 | EuroCrypt | Cartesian Authentication Schemes. | Marijke De Soete, Klaus Vedder, Michael Walker |
| 1984 | CRYPTO | Key Management for Secure Electronic Funds Transfer in a Retail Environment. | Henry Beker, Michael Walker |