@misc{indiciaecf70bf1e42a3,
  title = {WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms},
  author = {Lorenzo Veronese and Benjamin Farinier and Pedro Bernardo and Mauro Tempesta and Marco Squarcina and Matteo Maffei},
  year = {2022},
  url = {https://arxiv.org/abs/2201.01649},
  note = {Source identifier: 2201.01649}
}