Duncan Mitchell -

Not registered as user yet

Name:Duncan Mitchell

Affiliation:Royal Holloway, University of London

Contributions

PLDI 2019	Author of Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript within the PLDI Research Papers-track
PEPM 2018	Author of Checking Cryptographic API Usage with Composable Annotations (Short Paper) within the PEPM 2018-track