A Type-theoretic Interpretation of Pointcuts and Advice. Jay Ligatti, David Walker, and Steve Zdancewic. In Pascal Fradet and Ralf Lämmel, editors, Science of Computer Programming: Special Issue on Foundations of Aspect-Oriented Programming, Vol 63, No 3, pp 240-266. Elsevier, December 2006.

Policy Enforcement via Program Monitoring. Jarred Adam Ligatti. PhD thesis, Princeton University, June 2006.

Enforcing Non-safety Security Policies with Program Monitors. Jay Ligatti, Lujo Bauer, and David Walker. Proceedings of the 10th European Symposium on Research in Computer Security (ESORICS), September 2005.

Enforcing Non-safety Security Policies with Program Monitors. Jay Ligatti, Lujo Bauer, and David Walker. Princeton University Technical Report TR-720-05, January 2005 (revised June 2005).

Composing Security Policies with Polymer.  Lujo Bauer, Jay Ligatti, and David Walker.  In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2005.

Edit Automata: Enforcement Mechanisms for Run-time Security Policies.  Jay Ligatti, Lujo Bauer, and David Walker.  International Journal of Information Security 4(1–2):2–16, February 2005. (Published online 26 October 2004.)  (This version supercedes TR-681-03 and "More Enforceable Security Policies".)

A Language and System for Composing Security Policies.  Lujo Bauer, Jay Ligatti, and David Walker. Princeton University Technical Report TR-699-04, January 2004.

A Theory of Aspects.  David Walker, Steve Zdancewic, and Jay Ligatti. In Proceedings of the International Conference on Functional Progamming, August 2003.

Edit Automata: Enforcement Mechanisms for Run-time Security Policies.  Jay Ligatti, Lujo Bauer, and David Walker.  Princeton University Technical Report TR-681-03, December 2002; revised May 2003.  (This is a revised and extended version of "More Enforceable Security Policies," which first appeared in the Workshop on Foundations of Computer Security, July 2002.)

Types and Effects for Non-interfering Program Monitors.  Lujo Bauer, Jarred Ligatti, and David Walker.  In M. Okada, B. Pierce, A. Scedrov, H. Tokuda, and A. Yonezawa, editors, Software Security—Theories and Systems. Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, volume 2609 of Lecture Notes in Computer Science. Springer, 2003.

A Calculus for Composing Security Policies.  Lujo Bauer, Jarred Ligatti, and David Walker.  Princeton University Technical Report TR-655-02, August 2002.

More Enforceable Security Policies.  Lujo Bauer, Jarred Ligatti, and David Walker.  Princeton University Technical Report TR-649-02, July 2002.