3 papers
cs.LG2026
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…
cs.CR2022
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…
cs.CR2021
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks
Amir Naseredini, Stefan Gast, Martin Schwarzl +5
In this paper, we analyze the security of programming languages and their execution environments (compilers and interpreters) with respect to Spectre attacks. The analysis shows th…