| 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 | 41 | 2017 |
| 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 | 37 | 2019 |
| 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 | 6 | 2019 |
| 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 | 1 | 2017 |
| Checking Cryptographic API Specifications in JavaScript D Mitchell Royal Holloway, University of London, 2020 | | 2020 |
| CSPRC 2017 C Chirita, D Mitchell | | 2017 |
Johannes KinderProfessor of Computer Science, LMU MunichEmail verificata su lmu.de
