CookiExt: Patching the browser against session hijacking attacks
Towards a Formal Foundation of Web Security