activity
20172026
most citedA Semantic Framework for the Security Analysis of Ethereum smart contracts

199 citations · 260 across the 16 of their papers we have counts for

collaborators
Showing 2020Show all

5 papers · 1 filter

cs.CR2020★ 2 cited

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…

cs.CR2020★ 5 cited

Optimizing Virtual Payment Channel Establishment in the Face of On-Path Adversaries

Lukas Aumayr, Esra Ceylan, Yannik Kopyciok +4

Payment channel networks (PCNs) are among the most promising solutions to the scalability issues in permissionless blockchains, by allowing parties to pay each other off-chain thro…

cs.CR2020

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…

cs.PL2020★ 3 cited

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

Clara Schneidewind, Ilya Grishchenko, Markus Scherer +1

Ethereum has emerged as the most popular smart contract development platform, with hundreds of thousands of contracts stored on the blockchain and covering a variety of application…

cs.CR2020

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…