| * | 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) |
