TY  - RPRT
TI  - WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
AU  - Lorenzo Veronese
AU  - Benjamin Farinier
AU  - Pedro Bernardo
AU  - Mauro Tempesta
AU  - Marco Squarcina
AU  - Matteo Maffei
PY  - 2022
UR  - https://arxiv.org/abs/2201.01649
ID  - 2201.01649
ER  -