2008 |
7 | EE | Michael R. Clarkson,
Fred B. Schneider:
Hyperproperties.
CSF 2008: 51-65 |
6 | EE | Michael R. Clarkson,
Stephen Chong,
Andrew C. Myers:
Civitas: Toward a Secure Voting System.
IEEE Symposium on Security and Privacy 2008: 354-368 |
2006 |
5 | EE | Kevin R. O'Neill,
Michael R. Clarkson,
Stephen Chong:
Information-Flow Security for Interactive Programs.
CSFW 2006: 190-201 |
2005 |
4 | EE | Michael R. Clarkson,
Andrew C. Myers,
Fred B. Schneider:
Belief in Information Flow.
CSFW 2005: 31-45 |
2003 |
3 | EE | Nathaniel Nystrom,
Michael R. Clarkson,
Andrew C. Myers:
Polyglot: An Extensible Compiler Framework for Java.
CC 2003: 138-152 |
2 | EE | Ann E. Kelley Sobel,
Michael R. Clarkson:
Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'".
IEEE Trans. Software Eng. 29(6): 572-575 (2003) |
2002 |
1 | EE | Ann E. Kelley Sobel,
Michael R. Clarkson:
Formal Methods Application: An Empirical Tale of Software Development.
IEEE Trans. Software Eng. 28(3): 308-320 (2002) |