Michael R. Clarkson

	2010
10		Michael R. Clarkson, Fred B. Schneider: Quantification of Integrity. CSF 2010: 28-43
9		Michael R. Clarkson, Fred B. Schneider: Hyperproperties. Journal of Computer Security 18(6): 1157-1210 (2010)
	2009
8		Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider: Quantifying information flow with beliefs. Journal of Computer Security 17(5): 655-701 (2009)
	2008
7		Michael R. Clarkson, Fred B. Schneider: Hyperproperties. CSF 2008: 51-65
6		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		Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong: Information-Flow Security for Interactive Programs. CSFW 2006: 190-201
	2005
4		Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider: Belief in Information Flow. CSFW 2005: 31-45
	2003
3		Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers: Polyglot: An Extensible Compiler Framework for Java. CC 2003: 138-152
2		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		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)

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page