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

Lukas Knittel, Christian Mainka, Marcus Niemietz, Dominik Trevor No, Jrg Schwenk

Browse the full CCS paper archive.