Search the dblp DataBase

Publications of Author

1. Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers
   Polyglot: An Extensible Compiler Framework for Java. [Citation Graph (0, 0)][DBLP]
   CC, 2003, pp:138-152 [Conf]
   
2. Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider
   Belief in Information Flow. [Citation Graph (0, 0)][DBLP]
   CSFW, 2005, pp:31-45 [Conf]
   
3. Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong
   Information-Flow Security for Interactive Programs. [Citation Graph (0, 0)][DBLP]
   CSFW, 2006, pp:190-201 [Conf]
   
4. Ann E. Kelley Sobel, Michael R. Clarkson
   Formal Methods Application: An Empirical Tale of Software Development. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2002, v:28, n:3, pp:308-320 [Journal]
   
5. Ann E. Kelley Sobel, Michael R. Clarkson
   Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'". [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:6, pp:572-575 [Journal]
   
6. 
   Hyperproperties. [Citation Graph (, )][DBLP]
   
   
7. 
   Quantification of Integrity. [Citation Graph (, )][DBLP]
   
   
8. 
   Civitas: Toward a Secure Voting System. [Citation Graph (, )][DBLP]