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

42 papers

cs.CR2023★ 59 cited

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou +4

The growth of the decentralized finance (DeFi) ecosystem built on blockchain technology and smart contracts has led to an increased demand for secure and reliable smart contract de…

q-fin.RM2023★ 7 cited

Auto.gov: Learning-based Governance for Decentralized Finance (DeFi)

Jiahua Xu, Yebo Feng, Daniel Perez +1

Decentralized finance (DeFi) is an integral component of the blockchain ecosystem, enabling a range of financial activities through smart-contract-based protocols. Traditional DeFi…

cs.CR2022

Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites

Michael Smith, Peter Snyder, Moritz Haller +3

A core problem in the development and maintenance of crowd-sourced filter lists is that their maintainers cannot confidently predict whether (and where) a new filter list rule will…

cs.NI2022

BatteryLab: A Collaborative Platform for Power Monitoring

Matteo Varvello, Kleomenis Katevas, Mihai Plesa +3

Advances in cloud computing have simplified the way that both software development and testing are performed. This is not true for battery testing for which state of the art test-b…

cs.CR2021★ 1 cited

Pool-Party: Exploiting Browser Resource Pools as Side-Channels for Web Tracking

Peter Snyder, Soroush Karami, Arthur Edelstein +2

We identify class of covert channels in browsers that are not mitigated by current defenses, which we call "pool-party" attacks. Pool-party attacks allow sites to create covert cha…

cs.CR2021★ 2 cited

Towards Private On-Chain Algorithmic Trading

Ceren Kocaoğullar, Arthur Gervais, Benjamin Livshits

While quantitative automation related to trading crypto-assets such as ERC-20 tokens has become relatively commonplace, with services such as 3Commas and Shrimpy offering user-frie…

cs.CR2021

PrivateFetch: Scalable Catalog Delivery in Privacy-Preserving Advertising

Muhammad Haris Mughees, Gonçalo Pestana, Alex Davidson +1

In order to preserve the possibility of an Internet that is free at the point of use, attention is turning to new solutions that would allow targeted advertisement delivery based o…

cs.CR2021★ 15 cited

STAR: Secret Sharing for Private Threshold Aggregation Reporting

Alex Davidson, Peter Snyder, E. B. Quirk +3

Threshold aggregation reporting systems promise a practical, privacy-preserving solution for developers to learn how their applications are used "\emph{in-the-wild}". Unfortunately…

cs.CR2021★ 1 cited

Security, Privacy, and Decentralization in Web3

Philipp Winter, Anna Harbluk Lorimer, Peter Snyder +1

Much of the recent excitement around decentralized finance (DeFi) comes from hopes that DeFi can be a secure, private, less centralized alternative to traditional finance systems.…

cs.CR2021★ 2 cited

THEMIS: A Decentralized Privacy-Preserving Ad Platform with Reporting Integrity

Gonçalo Pestana, Iñigo Querejeta-Azurmendi, Panagiotis Papadopoulos +1

Online advertising fuels the (seemingly) free internet. However, although users can access most of the web services free of charge, they pay a heavy coston their privacy. They are…

cs.LG2021

Stronger Privacy for Federated Collaborative Filtering with Implicit Feedback

Lorenzo Minto, Moritz Haller, Hamed Haddadi +1

Recommender systems are commonly trained on centrally collected user interaction data like views or clicks. This practice however raises serious privacy concerns regarding the reco…

cs.CR2021★ 5 cited

On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols

Liyi Zhou, Kaihua Qin, Antoine Cully +2

In this paper, we investigate two methods that allow us to automatically create profitable DeFi trades, one well-suited to arbitrage and the other applicable to more complicated se…

cs.NI2021★ 7 cited

Browselite: A Private Data Saving Solution for the Web

Conor Kelton, Matteo Varvello, Andrius Aucinas +1

The median webpage has increased in size by more than 80% in the last 4 years. This extra complexity allows for a rich browsing experience, but it hurts the majority of mobile user…

cs.CR2020★ 1 cited

There's No Trick, Its Just a Simple Trick: A Web-Compat and Privacy Improving Approach to Third-party Web Storage

Jordan Jueckstock, Peter Snyder, Shaown Sarker +2

While much current web privacy research focuses on browser fingerprinting, the boring fact is that the majority of current third-party web tracking is conducted using traditional,…

q-fin.GN2020★ 69 cited

Liquidations: DeFi on a Knife-edge

Daniel Perez, Sam M. Werner, Jiahua Xu +1

The trustless nature of permissionless blockchains renders overcollateralization a key safety component relied upon by decentralized finance (DeFi) protocols. Nonetheless, factors…

cs.OH2020★ 2 cited

On the Battery Consumption of Mobile Browsers

Matteo Varvello, Benjamin Livshits

Mobile web browsing has recently surpassed desktop browsing both in term of popularity and traffic. Following its desktop counterpart, the mobile browsers ecosystem has been growin…

cs.CR2020★ 3 cited

THEMIS: Decentralized and Trustless Ad Platform with Reporting Integrity

Gonçalo Pestana, Iñigo Querejeta-Azurmendi, Panagiotis Papadopoulos +1

Online advertising fuels the (seemingly) free internet. However, although users can access most websites free of charge, they need to pay a heavy cost on their privacy and blindly…

cs.CR2020★ 5 cited

Improving Web Content Blocking With Event-Loop-Turn Granularity JavaScript Signatures

Quan Chen, Peter Snyder, Ben Livshits +1

Content blocking is an important part of a performant, user-serving, privacy respecting web. Most content blockers build trust labels over URLs. While useful, this approach has wel…

cs.CR2020★ 41 cited

Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit

Kaihua Qin, Liyi Zhou, Benjamin Livshits +1

Credit allows a lender to loan out surplus capital to a borrower. In the traditional economy, credit bears the risk that the borrower may default on its debt, the lender hence requ…

cs.CR2020★ 31 cited

Revisiting Transactional Statistics of High-scalability Blockchains

Daniel Perez, Jiahua Xu, Benjamin Livshits

Scalability has been a bottleneck for major blockchains such as Bitcoin and Ethereum. Despite the significantly improved scalability claimed by several high--profile blockchain pro…

cs.CR2020

The Decentralized Financial Crisis

Lewis Gudgeon, Daniel Perez, Dominik Harz +2

The Global Financial Crisis of 2008, caused by the accumulation of excessive financial risk, inspired Satoshi Nakamoto to create Bitcoin. Now, more than ten years later, Decentrali…

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.DC2019★ 11 cited

BatteryLab, A Distributed Power Monitoring Platform For Mobile Devices

Matteo Varvello, Kleomenis Katevas, Mihai Plesa +2

Recent advances in cloud computing have simplified the way that both software development and testing are performed. Unfortunately, this is not true for battery testing for which s…

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…