Follow
Duncan Mitchell
Title
Cited by
Cited by
Year
ExpoSE: practical symbolic execution of standalone JavaScript
B Loring, D Mitchell, J Kinder
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
432017
Sound regular expression semantics for dynamic symbolic execution of JavaScript
B Loring, D Mitchell, J Kinder
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
372019
A formal model for checking cryptographic API usage in javascript
D Mitchell, J Kinder
Computer Security–ESORICS 2019: 24th European Symposium on Research in …, 2019
62019
Checking cryptographic api usage with composable annotations (short paper)
D Mitchell, LT van Binsbergen, B Loring, J Kinder
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program …, 2017
12017
Checking Cryptographic API Specifications in JavaScript
D Mitchell
Royal Holloway, University of London, 2020
2020
CSPRC 2017
C Chirita, D Mitchell
2017
The system can't perform the operation now. Try again later.
Articles 1–6