Duncan Mitchell

According to our database, Duncan Mitchell authored at least 4 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Sound regular expression semantics for dynamic symbolic execution of JavaScript.

Blake Loring, Duncan Mitchell, Johannes Kinder

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

A Formal Model for Checking Cryptographic API Usage in JavaScript.

Duncan Mitchell, Johannes Kinder

Proceedings of the Computer Security - ESORICS 2019, 2019

2018

Checking cryptographic API usage with composable annotations (short paper).

Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

2017

ExpoSE: practical symbolic execution of standalone JavaScript.

Blake Loring, Duncan Mitchell, Johannes Kinder

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017