8 citations · 12 across the 7 of their papers we have counts for
Showing 2017 · cs.PLShow all
2 papers · 2 filters
cs.PL2017
Static Contract Simplification
Matthias Keil, Peter Thiemann
Contracts and contract monitoring are a powerful mechanism for specifying properties and guaranteeing them at run time. However, run time monitoring of contracts imposes a signific…
cs.PL2017
Transaction-based Sandboxing for JavaScript
Matthias Keil, Peter Thiemann
Today's JavaScript applications are composed of scripts from different origins that are loaded at run time. As not all of these origins are equally trusted, the execution of these…