Search results for "Michael R. Clarkson"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Michael R. Clarkson, Fred B. Schneider	Hyperproperties.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Michael R. Clarkson, Fred B. Schneider	Quantification of Integrity.	CSF	2010	DBLP DOI BibTeX RDF	quantitative information flow, Integrity, information theory, database privacy
1	Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider	Quantifying information flow with beliefs.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Michael R. Clarkson, Stephen Chong, Andrew C. Myers	Civitas: Toward a Secure Voting System.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	verifiable elections, voter registration, secure bulletin boards, cryptographic protocols, Electronic voting, coercion resistance
1	Michael R. Clarkson, Fred B. Schneider	Hyperproperties.	CSF	2008	DBLP DOI BibTeX RDF	safety, Security policies, liveness
1	Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong	Information-Flow Security for Interactive Programs.	CSFW	2006	DBLP DOI BibTeX RDF
1	Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider	Belief in Information Flow.	CSFW	2005	DBLP DOI BibTeX RDF
1	Ann E. Kelley Sobel, Michael R. Clarkson	Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'".	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF
1	Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers	Polyglot: An Extensible Compiler Framework for Java.	CC	2003	DBLP DOI BibTeX RDF
1	Ann E. Kelley Sobel, Michael R. Clarkson	Formal Methods Application: An Empirical Tale of Software Development.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	formal methods, software specifications, software engineering curriculum

Displaying result #1 - #10 of 10 (100 per page; Change: )

Publications of "Michael R. Clarkson" ( http://dblp.L3S.de/Authors/Michael_R._Clarkson )