The Tower of Stanford: 10956.
Am. Math. Mon., 2004
Generating the Measures of n-Balls.
Am. Math. Mon., 2000
Detecting and Countering System Intrusions Using Software Wrappers.
Proceedings of the 9th USENIX Security Symposium, 2000
Security Agility in Response to Intrusion Detection.
Proceedings of the 16th Annual Computer Security Applications Conference (ACSAC 2000), 2000
Hardening COTS Software with Generic Software Wrappers.
Proceedings of the 1999 IEEE Symposium on Security and Privacy, 1999
Ensuring Continuity During Dynamic Security Policy Reconfiguration in DTE.
Proceedings of the Security and Privacy, 1998
Domain and Type Enforcement Firewalls.
Proceedings of the 13th Annual Computer Security Applications Conference (ACSAC 1997), 1997
A Domain and Type Enforcement UNIX Prototype.
Comput. Syst., 1996
Confining Root Programs with Domain and Type Enforcement.
Proceedings of the 6th USENIX Security Symposium, San Jose, CA, USA, July 22-25, 1996, 1996
A Domain and Type Enforcement UNIX Prototype.
Proceedings of the 5th USENIX Security Symposium, 1995
Practical Domain and Type Enforcement for UNIX.
Proceedings of the 1995 IEEE Symposium on Security and Privacy, 1995
Providing a Flexible Security Override for Trusted Systems.
Proceedings of the Third IEEE Computer Security Foundations Workshop, 1990
A Model for Specifying Multi-Granularity Integrity Policies.
Proceedings of the 1989 IEEE Symposium on Security and Privacy, 1989
Minimizing Communication for Synchronizing Parallel Dataflow Programs.
Proceedings of the International Conference on Parallel Processing, 1988
Beth's Property Fails in L <sup>< omega 1</sup>.
J. Symb. Log., 1980