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
232017
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
132019
A formal model for checking cryptographic api usage in javascript
D Mitchell, J Kinder
European Symposium on Research in Computer Security, 341-360, 2019
22019
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
CSPRC 2017
C Chirita, D Mitchell
2017
Checking Cryptographic API Specifications in JavaScript
D Mitchell
The system can't perform the operation now. Try again later.
Articles 1–6