XSinator.com: From a Formal Model to the Automatic Evaluation of Cross-Site Leaks in Web Browsers

Lukas Knittel, Christian Mainka, Dominik Noß, Jörg Schwenk

Tags: browser, xsleaks