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