Preliminary design of the SAFE platform. - André DeHon; Ben Karel; Thomas F. Knight Jr.; Gregory Malecha; Benoît Montagu; Robin Morisset; Greg Morrisett; Benjamin C. Pierce; Randy Pollack; Sumit Ray; Olin Shivers; Jonathan M. Smith; et al. (PLOS@SOSP, 2011)

Hardware Support for Safety Interlocks and Introspection. - Udit Dhawan; Albert Kwon; Edin Kadric; Catalin Hritcu; Benjamin C. Pierce; Jonathan M. Smith; André DeHon; Gregory Malecha; Greg Morrisett; Thomas F. Knight Jr.; Andrew Sutherland; Tom Hawkins; et al. (SASO Workshops, 2012)

Pipe-Cleaner: Flexible Fuzzing Using Security Policies. - Allison Naaktgeboren; Sean Noble Anderson; Andrew Tolmach; Greg Sullivan (CoRR, 2024)

cozy: Comparative Symbolic Execution for Binary Programs. - Caleb Helbling; Graham Leach-Krouse; Sam Lasser; Greg Sullivan (CoRR, 2025)