Matthew Stillerman

According to our database, Matthew Stillerman authored at least 6 papers between 1995 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

Modular Behavior Profiles in Systems with Shared Libraries (Short Paper).

Carla Marceau, Matthew Stillerman

Proceedings of the Information and Communications Security, 8th International Conference, 2006

2003

Efficient Code Certification for Open Firmware.

Matthew Stillerman, Dexter Kozen

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002

Eager Class Initialization for Java.

Dexter Kozen, Matthew Stillerman

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Malicious Code Detection for Open Firmware.

Frank Adelstein, Matthew Stillerman, Dexter Kozen

Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002

1999

Intrusion Detection for Distributed Applications.

Matthew Stillerman, Carla Marceau, Maureen Stillman

Commun. ACM, 1999

1995

Formal methods in the THETA kernel.

Mike Seager, David Guaspari, Matthew Stillerman, Carla Marceau

Proceedings of the 1995 IEEE Symposium on Security and Privacy, 1995