Login / Signup

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

Lorenzo VeroneseBenjamin FarinierPedro BernardoMauro TempestaMarco SquarcinaMatteo Maffei
Published in: SP (2023)
Keyphrases
  • security mechanisms
  • data analysis
  • artificial intelligence
  • multi agent systems
  • knowledge discovery
  • resource constrained
  • security systems