FormatGuard: Automatic Protection From printf Format String Vulnerabilities. - Crispin Cowan; Matt Barringer; Steve Beattie; Greg Kroah-Hartman; Michael Frantzen; Jamie Lokier (USENIX Security Symposium, 2001)

StackGhost: Hardware Facilitated Stack Protection. - Michael Frantzen; Michael Shuey (USENIX Security Symposium, 2001)

A Framework for Understanding Vulnerabilities in Firewalls Using a Dataflow Model of Firewall Internals. - Michael Frantzen; Florian Kerschbaum; E. Eugene Schultz; Sonia Fahmy (Comput. Secur., 2001)

Analysis of vulnerabilities in Internet firewalls. - Seny Kamara; Sonia Fahmy; E. Eugene Schultz; Florian Kerschbaum; Michael Frantzen (Comput. Secur., 2003)

BP: DECREE: A Platform for Repeatable and Reproducible Security Experiments. - Lok K. Yan; Benjamin Price; Michael Zhivich; Brian Caswell; Christopher Eagle; Michael Frantzen; Holt Sorenson; Michael Thompson; Timothy Vidas; Jason Wright; Vernon Rivet; Samuel Colt VanWinkle; et al. (SecDev, 2018)