WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.

Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei

Browse the full SP paper archive.