Matthew Stillerman

Publication Activity (10 Years)

Years Active: 1995-2006
Publications (10 Years): 0

Publications

Carla Marceau, Matthew Stillerman
Modular Behavior Profiles in Systems with Shared Libraries (Short Paper). ICICS (2006)
Matthew Stillerman, Dexter Kozen
Efficient Code Certification for Open Firmware. DISCEX (2) (2003)
Dexter Kozen, Matthew Stillerman
Eager Class Initialization for Java. FTRTFT (2002)
Frank Adelstein, Matthew Stillerman, Dexter Kozen
Malicious Code Detection for Open Firmware. ACSAC (2002)
Matthew Stillerman, Carla Marceau, Maureen Stillman
Intrusion Detection for Distributed Applications. Commun. ACM 42 (7) (1999)
Mike Seager, David Guaspari, Matthew Stillerman, Carla Marceau
Formal methods in the THETA kernel. IEEE Symposium on Security and Privacy (1995)