Publications
2010. Decoupling policy from configuration in campus and enterprise networks. Local and Metropolitan Area Networks (LANMAN), 2010 17th IEEE Workshop on. :1-6.
2008. Fable: A Language for Enforcing User-defined Security Policies. IEEE Symposium on Security and Privacy, 2008. SP 2008. :369-383.
2006. Managing policy updates in security-typed languages. 19th IEEE Computer Security Foundations Workshop, 2006. :13pp.-216-13pp.-216.
2009. Resonance: dynamic access control for enterprise networks. Proceedings of the 1st ACM workshop on Research on enterprise networking. :11-18.
2005. Class-based access control for distributed video-on-demand systems. IEEE Transactions on Circuits and Systems for Video Technology. 15(7):844-853.
1998. Safety and security of programmable network infrastructures. IEEE Communications Magazine. 36(10):84-92.