Seguir
Duncan Mitchell
Duncan Mitchell
Dirección de correo verificada de rhul.ac.uk
Título
Citado por
Citado por
Año
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
402017
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
362019
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6