M. Stillerman

Geometric quantization and constrained systems

A. Ashtekar, M. Stillerman, 1986 .

Formal methods in the THETA kernel

Carla Marceau, David Guaspari, Matthew Stillerman, 1995, Proceedings 1995 IEEE Symposium on Security and Privacy.

Malicious code detection for open firmware

Frank Adelstein, Dexter Kozen, Matthew Stillerman, 2002, 18th Annual Computer Security Applications Conference, 2002. Proceedings..