199 citations · 260 across the 16 of their papers we have counts for
20 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…
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean
Simon Jeanteur, Lorenzo Veronese, Magdalena Solitro +1
Computer-aided formal verification is a widely used approach for the symbolic analysis of cryptographic protocols. However, many modern protocols rely on features that remain chall…
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
Simon Jeanteur, Laura Kovács, Matteo Maffei +1
Cryptographic protocols are hard to design and prove correct, as witnessed by the ever-growing list of attacks even on protocol standards. Symbolic models of cryptography enable au…
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…
Adoption and Actual Privacy of Decentralized CoinJoin Implementations in Bitcoin
Rainer Stütz, Johann Stockinger, Bernhard Haslhofer +2
We present a first measurement study on the adoption and actual privacy of two popular decentralized CoinJoin implementations, Wasabi and Samourai, in the broader Bitcoin ecosystem…
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols
Sophie Rain, Georgia Avarikioti, Laura Kovács +1
Off-chain protocols constitute one of the most promising approaches to solve the inherent scalability issue of blockchain technologies. The core idea is to let parties transact on-…