9 citations · 16 across the 7 of their papers we have counts for
12 papers · 1 filter
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…
The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts
Clara Schneidewind, Markus Scherer, Matteo Maffei
Ethereum smart contracts are distributed programs running on top of the Ethereum blockchain. Since program flaws can cause significant monetary losses and can hardly be fixed due t…
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…
Cross-Layer Deanonymization Methods in the Lightning Protocol
Matteo Romiti, Friedhelm Victor, Pedro Moreno-Sanchez +3
Bitcoin (BTC) pseudonyms (layer 1) can effectively be deanonymized using heuristic clustering techniques. However, while performing transactions off-chain (layer 2) in the Lightnin…
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…