Michael R. Clarkson

Identifiers

• name variant Michael R. Clarkson 0.60 · backfill

Papers (5)

1. Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution cs.CR · 2015 · author #5
2. Temporal Logics for Hyperproperties cs.LO · 2014 · author #1
3. A Temporal Logic of Security cs.LO · 2013 · author #2
4. Belief Semantics of Authorization Logic cs.LO · 2013 · author #2
5. Nexus Authorization Logic (NAL): Logical Results cs.CR · 2012 · author #2

Mentions

• 1504.03711 #5 · backfill · confidence 0.70 Michael R. Clarkson
• 1401.4492 #1 · backfill · confidence 0.70 Michael R. Clarkson
• 1306.5678 #2 · backfill · confidence 0.70 Michael R. Clarkson
• 1302.2123 #2 · backfill · confidence 0.70 Michael R. Clarkson
• 1211.3700 #2 · backfill · confidence 0.70 Michael R. Clarkson

Frequent Coauthors

• Andrew K. Hirsch 2 shared papers
• Kristopher K. Micinski 2 shared papers
• Masoud Koleini 2 shared papers
• Bernd Finkbeiner 1 shared papers
• C\'esar S\'anchez 1 shared papers
• Jeffrey S. Foster 1 shared papers
• Jinseong Jeon 1 shared papers
• Jonathan Fetter-Degges 1 shared papers
• Kristopher Micinski 1 shared papers
• Markus N. Rabe 1 shared papers