Embassies: Radically refactoring the web
Atlantis: robust, extensible execution environments for web applications