Login / Signup
A Tale of Two Headers: A Formal Analysis of Inconsistent Click-Jacking Protection on the Web.
Stefano Calzavara
Sebastian Roth
Alvise Rabitti
Michael Backes
Ben Stock
Published in:
USENIX Security Symposium (2020)
Keyphrases
</>
formal analysis
search engine
web applications
website
semantic web
ban logic
formal methods
user experience
web documents
agent model
web pages
web search
machine learning
email
building blocks
life cycle
database systems
information retrieval