Keil, Thiemann, 2017. Transaction-based Sandboxing for JavaScript.