Duncan Mitchell

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 5

Top Topics

Symbolic Execution

Deterministic Finite Automata

Test Data Generation

Static Analysis

Top Venues

Publications

Blake Loring, Duncan Mitchell, Johannes Kinder
Sound regular expression semantics for dynamic symbolic execution of JavaScript. PLDI (2019)
Duncan Mitchell, Johannes Kinder
A Formal Model for Checking Cryptographic API Usage in JavaScript. ESORICS (1) (2019)
Blake Loring, Duncan Mitchell, Johannes Kinder
Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript. CoRR (2018)
Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder
Checking cryptographic API usage with composable annotations (short paper). PEPM (2018)
Blake Loring, Duncan Mitchell, Johannes Kinder
ExpoSE: practical symbolic execution of standalone JavaScript. SPIN (2017)