Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically. - Matthew Hicks; Murph Finnicum; Samuel T. King; Milo M. K. Martin; Jonathan M. Smith (login Usenix Mag., 2010)

Macho: Programming with Man Pages. - Anthony Cozzie; Murph Finnicum; Samuel T. King (HotOS, 2011)

Building Secure Robot Applications. - Murph Finnicum; Samuel T. King (HotSec, 2011)