Benjamin Livshits
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
58
Venues
26
Active years
2009–2025
Best venue rank
A*
Where they publish
- AFC7 papers
- A*WWW7 papers
- A*SP7 papers
- A*CCS5 papers
- A*POPL5 papers
- A*PLDI4 papers
- A*ICSE2 papers
- A*CHI2 papers
- A*NDSS2 papers
- BAFT1 paper
- NationalSCN1 paper
- BNetworking1 paper
- ARecSys1 paper
- AIMC1 paper
- AUSENIX1 paper
- AECOOP1 paper
- NationalHOTNETS1 paper
- UnrankedSENSYS1 paper
- BATVA1 paper
- AISSTA1 paper
- ADSN1 paper
- AACSAC1 paper
- BHCOMP1 paper
- AOOPSLA1 paper
- AHotOS1 paper
- A*SOSP1 paper
Papers
58 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | Towards a Formal Foundation for Blockchain ZK Rollups. | Stefanos Chaliasos, Denis Firsov, Benjamin Livshits |
| 2025 | FC | Liquidity Fragmentation or Optimization? Analyzing Automated Market Makers Across Ethereum and Rollups. | Krzysztof Gogol, Manvir Schneider, Claudio J. Tessone, Benjamin Livshits |
| 2025 | FC | The Writing Is on the Wall: Analyzing the Boom of Inscriptions and Its Impact on EVM-Compatible Blockchains. | Johnnatan Messias, Krzysztof Gogol, Maria Ins Silva, Benjamin Livshits |
| 2025 | FC | Short Paper: Atomic Execution is Not Enough for Arbitrage Profit Extraction in Shared Sequencers. | Maria Ins Silva, Benjamin Livshits |
| 2025 | FC | A Public Dataset For the ZKsync Rollup. | Maria Ins Silva, Johnnatan Messias, Benjamin Livshits |
| 2025 | FC | $Proo\upvarphi $: A ZKP Market Mechanism. | Wenhao Wang, Lulu Zhou, Aviv Yaish, Fan Zhang, Ben Fisch, Benjamin Livshits |
| 2024 | AFT | Analyzing and Benchmarking ZK-Rollups. | Stefanos Chaliasos, Itamar Reif, Adri Torralba-Agell, Jens Ernstberger, Assimakis Kattis, Benjamin Livshits |
| 2024 | ICSE | Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? | Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, Benjamin Livshits |
| 2024 | SCN | zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs. | Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, Michele Orr |
| 2023 | WWW | On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy. | Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Benjamin Livshits, Arthur Gervais |
| 2022 | CCS | STAR: Secret Sharing for Private Threshold Aggregation Reporting. | Alex Davidson, Peter Snyder, E. B. Quirk, Joseph Genereux, Benjamin Livshits, Hamed Haddadi |
| 2022 | PLDI | Finding typing compiler bugs. | Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos |
| 2022 | WWW | Measuring the Privacy vs. Compatibility Trade-off in Preventing Third-Party Stateful Tracking. | Jordan Jueckstock, Peter Snyder, Shaown Sarker, Alexandros Kapravelos, Benjamin Livshits |
| 2021 | CCS | SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking. | Michael Smith, Peter Snyder, Benjamin Livshits, Deian Stefan |
| 2021 | FC | Liquidations: DeFi on a Knife-Edge. | Daniel Perez, Sam M. Werner, Jiahua Xu, Benjamin Livshits |
| 2021 | FC | Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit. | Kaihua Qin, Liyi Zhou, Benjamin Livshits, Arthur Gervais |
| 2021 | Networking | VPN-Zero: A Privacy-Preserving Decentralized Virtual Private Network. | Matteo Varvello, Iigo Querejeta-Azurmendi, Antonio Nappa, Panagiotis Papadopoulos, Goncalo Pestana, Benjamin Livshits |
| 2021 | RecSys | Stronger Privacy for Federated Collaborative Filtering With Implicit Feedback. | Lorenzo Minto, Moritz Haller, Benjamin Livshits, Hamed Haddadi |
| 2021 | WWW | Towards Realistic and ReproducibleWeb Crawl Measurements. | Jordan Jueckstock, Shaown Sarker, Peter Snyder, Aidan Beggs, Panagiotis Papadopoulos, Matteo Varvello, Benjamin Livshits, Alexandros Kapravelos |
| 2021 | SP | On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols. | Liyi Zhou, Kaihua Qin, Antoine Cully, Benjamin Livshits, Arthur Gervais |
| 2020 | CHI | Evaluating the End-User Experience of Private Browsing Mode. | Ruba Abu-Salma, Benjamin Livshits |
| 2020 | IMC | Revisiting Transactional Statistics of High-scalability Blockchains. | Daniel Perez, Jiahua Xu, Benjamin Livshits |
| 2020 | NDSS | Broken Metre: Attacking Resource Metering in EVM. | Daniel Perez, Benjamin Livshits |
| 2020 | WWW | Keeping out the Masses: Understanding the Popularity and Implications of Internet Paywalls. | Panagiotis Papadopoulos, Peter Snyder, Dimitrios Athanasakis, Benjamin Livshits |
| 2020 | WWW | Filter List Generation for Underserved Regions. | Alexander Sjsten, Peter Snyder, Antonio Pastor, Panagiotis Papadopoulos, Benjamin Livshits |
| 2020 | SP | AdGraph: A Graph-Based Approach to Ad and Tracker Blocking. | Umar Iqbal, Peter Snyder, Shitong Zhu, Benjamin Livshits, Zhiyun Qian, Zubair Shafiq |
| 2020 | USENIX | PERCIVAL: Making In-Browser Perceptual Ad Blocking Practical with Deep Learning. | Zain ul Abi Din, Panagiotis Tigas, Samuel T. King, Benjamin Livshits |
| 2019 | ECOOP | Static Analysis for Asynchronous JavaScript Programs. | Thodoris Sotiropoulos, Benjamin Livshits |
| 2019 | HOTNETS | BatteryLab, A Distributed Power Monitoring Platform For Mobile Devices. | Matteo Varvello, Kleomenis Katevas, Mihai Plesa, Hamed Haddadi, Benjamin Livshits |
| 2019 | WWW | SpeedReader: Reader Mode Made Fast and Private. | Mohammad Ghasemisharif, Peter Snyder, Andrius Aucinas, Benjamin Livshits |
| 2019 | SENSYS | BatteryLab, a distributed power monitoring platform for mobile devices: demo abstract. | Matteo Varvello, Kleomenis Katevas, Wei Hang, Mihai Plesa, Hamed Haddadi, Fabin E. Bustamante, Benjamin Livshits |
| 2018 | ATVA | EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. | Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey |
| 2018 | NDSS | SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE.JS. | Cristian-Alexandru Staicu, Michael Pradel, Benjamin Livshits |
| 2017 | ICSE | Cheetah: just-in-time taint analysis for Android apps. | Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill |
| 2017 | ISSTA | Just-in-time static analysis. | Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill |
| 2016 | DSN | Kizzle: A Signature Compiler for Detecting Exploit Kits. | Ben Stock, Benjamin Livshits, Benjamin G. Zorn |
| 2016 | SP | Prepose: Privacy, Security, and Reliability for Gesture-Based Programming. | Lucas Silva Figueiredo, Benjamin Livshits, David Molnar, Margus Veanes |
| 2015 | POPL | Program Boosting: Program Synthesis via Crowd-Sourcing. | Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes |
| 2015 | POPL | Data-Parallel String-Manipulating Programs. | Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits |
| 2015 | WWW | PriVaricator: Deceiving Fingerprinters with Little White Lies. | Nick Nikiforakis, Wouter Joosen, Benjamin Livshits |
| 2015 | SP | SurroundWeb: Mitigating Privacy Concerns in a 3D Web Browser. | John Vilk, David Molnar, Benjamin Livshits, Eyal Ofek, Christopher J. Rossbach, Alexander Moshchuk, Helen J. Wang, Ran Gal |
| 2014 | ACSAC | MoRePriv: mobile OS support for application personalization and privacy. | Drew Davidson, Matt Fredrikson, Benjamin Livshits |
| 2014 | CHI | Let's do it at my place instead?: attitudinal and behavioral study of privacy in client-side personalization. | Alfred Kobsa, Bart P. Knijnenburg, Benjamin Livshits |
| 2014 | HCOMP | Saving Money While Polling with InterPoll Using Power Analysis. | Benjamin Livshits, Todd Mytkowicz |
| 2014 | OOPSLA | Automated migration of build scripts using dynamic analysis and search-based refactoring. | Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits |
| 2014 | PLDI | Fast: a transducer-based language for tree manipulation. | Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar |
| 2014 | PLDI | I Know It When I See It: Observable Races in JavaScript Applications. | Erdal Mutlu, Serdar Tasiran, Benjamin Livshits |
| 2013 | HotOS | Operating System Support for Augmented Reality Applications. | Loris D'Antoni, Alan M. Dunn, Suman Jana, Tadayoshi Kohno, Benjamin Livshits, David Molnar, Alexander Moshchuk, Eyal Ofek, Franziska Roesner, T. Scott Saponas, Margus Veanes, Helen J. Wang |
| 2013 | PLDI | Verifying higher-order programs with the dijkstra monad. | Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits |
| 2013 | POPL | Fully abstract compilation to JavaScript. | Cdric Fournet, Nikhil Swamy, Juan Chen, Pierre-variste Dagand, Pierre-Yves Strub, Benjamin Livshits |
| 2013 | POPL | Towards fully automatic placement of security sanitizers and declassifiers. | Benjamin Livshits, Stephen Chong |
| 2012 | POPL | Symbolic finite state transducers: algorithms and applications. | Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj S. Bjrner |
| 2012 | SP | Rozzle: De-cloaking Internet Malware. | Clemens Kolbitsch, Benjamin Livshits, Benjamin G. Zorn, Christian Seifert |
| 2011 | CCS | Towards ensuring client-side computational integrity. | George Danezis, Benjamin Livshits |
| 2011 | CCS | SCRIPTGARD: automatic context-sensitive sanitization for large-scale legacy web applications. | Prateek Saxena, David Molnar, Benjamin Livshits |
| 2011 | SP | RePriv: Re-imagining Content Personalization and In-browser Privacy. | Matthew Fredrikson, Benjamin Livshits |
| 2011 | SP | Verified Security for Browser Extensions. | Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy |
| 2009 | SOSP | CatchAndRetry: extending exceptions to handle distributed system failures and recovery. | Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi |