13 citations · 15 across the 3 of their papers we have counts for
5 papers
Sensitivity Fidelity Reveals Physical Dependencies Beyond Forecast Accuracy in Deep-Learning Earth-System Models
Qi Chen, Peng Zhan, Hongxing Cui +2
Deep-learning models increasingly rival numerical simulation in Earth-system forecasting, yet forecast error alone cannot determine whether their learned input-output dependencies…
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo +3
The complexity of browsers has steadily increased over the years, driven by the continuous introduction and update of Web platform components, such as novel Web APIs and security m…
Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web
Marco Squarcina, Mauro Tempesta, Lorenzo Veronese +2
Related-domain attackers control a sibling domain of their target web application, e.g., as the result of a subdomain takeover. Despite their additional power over traditional web…
Language-Based Web Session Integrity
Stefano Calzavara, Riccardo Focardi, Niklas Grimm +2
Session management is a fundamental component of web applications: despite the apparent simplicity, correctly implementing web sessions is extremely tricky, as witnessed by the lar…
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring
Stefano Calzavara, Riccardo Focardi, Matteo Maffei +3
We present WPSE, a browser-side security monitor for web protocols designed to ensure compliance with the intended protocol flow, as well as confidentiality and integrity propertie…