Michael Ryan Clarkson
Teaching Professor
Computer Science DEPT · BCIS
35 publications
2,223 citations
16 h-index
Computer Science
Recent Papers (1)
2015-01-01
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution
Michael R. ClarksonTeaching Professor, Computer Science DEPT · BCIS