Publications
1994. On automatic filtering of multilingual texts. , 1994 IEEE International Conference on Systems, Man, and Cybernetics, 1994. 'Humans, Information and Technology'. 2:1645-1650vol.2-1645-1650vol.2.
2008. Fable: A Language for Enforcing User-defined Security Policies. IEEE Symposium on Security and Privacy, 2008. SP 2008. :369-383.
2005. Show Me! Guidelines for producing recorded demonstrations. 2005 IEEE Symposium on Visual Languages and Human-Centric Computing. :171-178.
2007. Verified Enforcement of Security Policies for Cross-Domain Information Flows. IEEE Military Communications Conference, 2007. MILCOM 2007. :1-7.