WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

No ratings

Presented at IEEE Symposium on Security and Privacy 44 by

Marco Squarcina

Matteo Maffei

Mauro Tempesta

Lorenzo Veronese

Benjamin Farinier

Pedro Bernardo

N/A