"Atlantis: robust, extensible execution environments for web applications."

James W. Mickens, Mohan Dhawan (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics