Michael R. Clarkson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2003–2015
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ESORICS | Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. | Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson |
| 2014 | SP | Quantifying Information Flow for Dynamic Secrets. | Piotr Mardziel, Mrio S. Alvim, Michael W. Hicks, Michael R. Clarkson |
| 2013 | CCS | Belief semantics of authorization logic. | Andrew K. Hirsch, Michael R. Clarkson |
| 2008 | SP | Civitas: Toward a Secure Voting System. | Michael R. Clarkson, Stephen Chong, Andrew C. Myers |
| 2003 | CC | Polyglot: An Extensible Compiler Framework for Java. | Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers |