activity
20172023
most citedEthIR: A Framework for High-Level Analysis of Ethereum Bytecode

97 citations · 501 across the 35 of their papers we have counts for

collaborators
Showing 2019 · cs.CRShow all

5 papers · 2 filters

cs.CR2019★ 3 cited

ZKSENSE: A Friction-less Privacy-Preserving Human Attestation Mechanism for Mobile Devices

Iñigo Querejeta-Azurmendi, Panagiotis Papadopoulos, Matteo Varvello +3

Recent studies show that 20.4% of the internet traffic originates from automated agents. To identify and block such ill-intentioned traffic, mechanisms that verify the humanness of…

cs.CR2019★ 23 cited

Filter List Generation for Underserved Regions

Alexander Sjosten, Peter Snyder, Antonio Pastor +2

Filter lists play a large and growing role in protecting and assisting web users. The vast majority of popular filter lists are crowd-sourced, where a large number of people manual…

cs.CR2019

Broken Metre: Attacking Resource Metering in EVM

Daniel Perez, Benjamin Livshits

Blockchain systems, such as Ethereum, use an approach called "metering" to assign a cost to smart contract execution, an approach which is designed to incentivise miners to operate…

cs.CR2019★ 16 cited

Percival: Making In-Browser Perceptual Ad Blocking Practical With Deep Learning

Zain ul abi Din, Panagiotis Tigas, Samuel T. King +1

In this paper we present Percival, a browser-embedded, lightweight, deep learning-powered ad blocker. Percival embeds itself within the browser's image rendering pipeline, which ma…

cs.CR2019★ 55 cited

Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited

Daniel Perez, Benjamin Livshits

In recent years, we have seen a great deal of both academic and practical interest in the topic of vulnerabilities in smart contracts, particularly those developed for the Ethereum…