Formal methods in the THETA kernel. - Mike Seager; David Guaspari; Matthew Stillerman; Carla Marceau (S&P, 1995)

Intrusion Detection for Distributed Applications. - Matthew Stillerman; Carla Marceau; Maureen Stillman (Commun. ACM, 1999)

Malicious Code Detection for Open Firmware. - Frank Adelstein; Matthew Stillerman; Dexter Kozen (ACSAC, 2002)

Eager Class Initialization for Java. - Dexter Kozen; Matthew Stillerman (FTRTFT, 2002)

Efficient Code Certification for Open Firmware. - Matthew Stillerman; Dexter Kozen (DISCEX (2), 2003)

Modular Behavior Profiles in Systems with Shared Libraries (Short Paper). - Carla Marceau; Matthew Stillerman (ICICS, 2006)