Jonathan Fetter-Degges

Identifiers

No identifiers captured yet.

Papers (1)

1. Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution cs.CR · 2015 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Jeffrey S. Foster 1 shared papers
• Jinseong Jeon 1 shared papers
• Kristopher Micinski 1 shared papers
• Michael R. Clarkson 1 shared papers