ExpoSE: practical symbolic execution of standalone JavaScript. - Blake Loring; Duncan Mitchell; Johannes Kinder (SPIN, 2017)

Checking cryptographic API usage with composable annotations (short paper). - Duncan Mitchell; L. Thomas van Binsbergen; Blake Loring; Johannes Kinder (PEPM, 2018)

A Formal Model for Checking Cryptographic API Usage in JavaScript. - Duncan Mitchell; Johannes Kinder (ESORICS (1), 2019)

Sound regular expression semantics for dynamic symbolic execution of JavaScript. - Blake Loring; Duncan Mitchell; Johannes Kinder (PLDI, 2019)