Research Center: Center for the Advancement of Secure Systems and Information Assurance

Education

Ph.D., Computer Science, University of Texas at Austin, 1992

B.A., Computer Science, University of Texas at Austin, 1982

Research

Formal methods and security, including: fine-grained confidentiality/integrity policies; automated analysis/transformation of programs combined with access control to enforce such policies; use of program verification technology for security; methodology for formal specification of system components and refactoring of implementations.

General Information

More complete information can be found via my home page and search sites such as Google Scholar and DBLP.

David A Naumann and Anindya Banerjee. (Mar 2010). "Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions", European Symposium on Programming . Andrew Gordon, Springer LNCS. 6012 2-22.