Login / Signup
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.
Lorenzo Veronese
Benjamin Farinier
Pedro Bernardo
Mauro Tempesta
Marco Squarcina
Matteo Maffei
Published in:
SP (2023)
Keyphrases
</>
security mechanisms
data analysis
artificial intelligence
multi agent systems
knowledge discovery
resource constrained
security systems