Следене
Duncan Mitchell
Duncan Mitchell
Royal Holloway, University of London
Потвърден имейл адрес: rhul.ac.uk
Заглавие
Позовавания
Позовавания
Година
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
532017
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
462019
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
52019
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–6