Michael R. Clarkson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Stephen Chong [5] [6]
2Andrew C. Myers [3] [4] [6]
3Nathaniel Nystrom [3]
4Kevin R. O'Neill [5]
5Fred B. Schneider [4] [7]
6Ann E. Kelley Sobel [1] [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)