Benjamin Livshits

163 papers A* 43A 10B 4Misc 2Journal 73Unranked 27
YearRankTypeTitle / Venue / Authors
2026 J jnl
LLMs + Security = Trouble.
CoRR
Benjamin Livshits
2025 A conf
$Proo\upvarphi $: A ZKP Market Mechanism.
FC
Wenhao Wang, Lulu Zhou, Aviv Yaish, Fan Zhang, Ben Fisch, Benjamin Livshits
2025 — conf
A Public Dataset For the ZKsync Rollup.
FC (Workshops 1)
Maria Inês Silva, Johnnatan Messias, Benjamin Livshits
2025 J jnl
AlDBaran: Towards Blazingly Fast State Commitments for Blockchains.
CoRR
Bernhard Kauer, Aleksandr Petrosyan, Benjamin Livshits
2025 J jnl
Auto.gov: Learning-Based Governance for Decentralized Finance (DeFi).
IEEE Trans. Serv. Comput.
Jiahua Xu, Yebo Feng, Daniel Perez, Benjamin Livshits
2025 J jnl
CrowdProve: Community Proving for ZK Rollups.
CoRR
John Stephan, Matej Pavlovic, Antonio Locascio, Benjamin Livshits
2025 — conf
Liquidity Fragmentation or Optimization? Analyzing Automated Market Makers Across Ethereum and Rollups.
FC (Workshops 1)
Krzysztof Gogol, Manvir Schneider, Claudio J. Tessone, Benjamin Livshits
2025 — conf
MEV Capture Through Time-Advantaged Arbitrage.
MARBLE
Robin Fritsch, Maria Inês Silva, Akaki Mamageishvili, Benjamin Livshits, Edward W. Felten
2025 — conf
Pricing Factors and TFMs for Scalability-Focused ZK-Rollups.
MARBLE
Stefanos Chaliasos, Sina Pilehchiha, Nicolas Mohnblatt, Assimakis Kattis, Benjamin Livshits
2025 — conf
Short Paper: Atomic Execution is Not Enough for Arbitrage Profit Extraction in Shared Sequencers.
FC (Workshops 1)
Maria Inês Silva, Benjamin Livshits
2025 — conf
The Writing Is on the Wall: Analyzing the Boom of Inscriptions and Its Impact on EVM-Compatible Blockchains.
FC (Workshops 1)
Johnnatan Messias, Krzysztof Gogol, Maria Inês Silva, Benjamin Livshits
2025 A* conf
Towards a Formal Foundation for Blockchain ZK Rollups.
CCS
Stefanos Chaliasos, Denis Firsov, Benjamin Livshits
2025 J jnl
Unaligned Incentives: Pricing Attacks Against Blockchain Rollups.
CoRR
Stefanos Chaliasos, Conner Swann, Sina Pilehchiha, Nicolas Mohnblatt, Benjamin Livshits, Assimakis Kattis
2024 J jnl
A Public Dataset For the ZKsync Rollup.
CoRR
Maria Inês Silva, Johnnatan Messias, Benjamin Livshits
2024 B conf
Analyzing and Benchmarking ZK-Rollups.
AFT
Stefanos Chaliasos, Itamar Reif, Adrià Torralba-Agell, Jens Ernstberger, Assimakis Kattis, Benjamin Livshits
2024 J jnl
Analyzing and Benchmarking ZK-Rollups.
IACR Cryptol. ePrint Arch.
Stefanos Chaliasos, Itamar Reif, Adrià Torralba-Agell, Jens Ernstberger, Assimakis Kattis, Benjamin Livshits
2024 J jnl
Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler.
CoRR
Marco Stronati, Denis Firsov, Antonio Locascio, Benjamin Livshits
2024 J jnl
Harvesting Layer-2 Yield: Suboptimality in Automated Market Makers.
CoRR
Krzysztof Gogol, Manvir Schneider, Benjamin Livshits
2024 J jnl
Layer-2 Arbitrage: An Empirical Analysis of Swap Dynamics and Price Disparities on Rollups.
CoRR
Krzysztof Gogol, Johnnatan Messias, Deborah Miori, Claudio J. Tessone, Benjamin Livshits
2024 J jnl
MEV Capture Through Time-Advantaged Arbitrage.
CoRR
Robin Fritsch, Maria Inês Silva, Akaki Mamageishvili, Benjamin Livshits, Edward W. Felten
2024 J jnl
Mechanism Design for ZK-Rollup Prover Markets.
CoRR
Wenhao Wang, Lulu Zhou, Aviv Yaish, Fan Zhang, Ben Fisch, Benjamin Livshits
2024 J jnl
Pricing Factors and TFMs for Scalability-Focused ZK-Rollups.
CoRR
Stefanos Chaliasos, Nicolas Mohnblatt, Assimakis Kattis, Benjamin Livshits
2024 — conf
Quantifying Arbitrage in Automated Market Makers: An Empirical Study of Ethereum ZK Rollups.
MARBLE
Krzysztof Gogol, Johnnatan Messias, Deborah Miori, Claudio J. Tessone, Benjamin Livshits
2024 J jnl
Quantifying Arbitrage in Automated Market Makers: An Empirical Study of Ethereum ZK Rollups.
CoRR
Krzysztof Gogol, Johnnatan Messias, Deborah Miori, Claudio J. Tessone, Benjamin Livshits
2024 J jnl
Rorqual: Speeding up Narwhal with TEEs.
CoRR
Luciano Freitas, Shashank Motepalli, Matej Pavlovic, Benjamin Livshits
2024 J jnl
Short Paper: Atomic Execution is Not Enough for Arbitrage Profit Extraction in Shared Sequencers.
CoRR
Maria Inês Silva, Benjamin Livshits
2024 A* conf
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
ICSE
Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, Benjamin Livshits
2024 A* conf
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs.
USENIX Security Symposium
Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, Benjamin Livshits
2024 J jnl
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs.
CoRR
Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, Benjamin Livshits
2024 J jnl
The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation.
IACR Cryptol. ePrint Arch.
Denis Firsov, Benjamin Livshits
2024 J jnl
The Writing is on the Wall: Analyzing the Boom of Inscriptions and its Impact on EVM-compatible Blockchains.
CoRR
Johnnatan Messias, Krzysztof Gogol, Maria Inês Silva, Benjamin Livshits
2024 J jnl
The Writing is on the Wall: Analyzing the Boom of Inscriptions and its Impact on Rollup Performance and Cost Efficiency.
CoRR
Krzysztof Gogol, Johnnatan Messias, Maria Inês Silva, Benjamin Livshits
2024 J jnl
TierDrop: Harnessing Airdrop Farmers for User Growth.
CoRR
Aviv Yaish, Benjamin Livshits
2024 J jnl
Towards a Formal Foundation for Blockchain Rollups.
CoRR
Stefanos Chaliasos, Denis Firsov, Benjamin Livshits
2024 — conf
zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs.
SCN (1)
Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, Michele Orrù
2023 J jnl
Airdrops: Giving Money Away Is Harder Than It Seems.
CoRR
Johnnatan Messias, Aviv Yaish, Benjamin Livshits
2023 J jnl
Auto.gov: Learning-based On-chain Governance for Decentralized Finance (DeFi).
CoRR
Jiahua Xu, Daniel Perez, Yebo Feng, Benjamin Livshits
2023 A* conf
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy.
WWW
Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Benjamin Livshits, Arthur Gervais
2023 J jnl
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy.
IACR Cryptol. ePrint Arch.
Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Benjamin Livshits, Arthur Gervais
2023 A* conf
Pool-Party: Exploiting Browser Resource Pools for Web Tracking.
USENIX Security Symposium
Peter Snyder, Soroush Karami, Arthur Edelstein, Benjamin Livshits, Hamed Haddadi
2023 J jnl
SoK: Decentralized Sequencers for Rollups.
CoRR
Shashank Motepalli, Luciano Freitas, Benjamin Livshits
2023 A* conf
The Blockchain Imitation Game.
USENIX Security Symposium
Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, Arthur Gervais
2023 J jnl
The Blockchain Imitation Game.
CoRR
Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, Arthur Gervais
2023 J jnl
zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs.
IACR Cryptol. ePrint Arch.
Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, Michele Orrù
2022 J jnl
A study of inline assembly in solidity smart contracts.
Proc. ACM Program. Lang.
Stefanos Chaliasos, Arthur Gervais, Benjamin Livshits
2022 J jnl
Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites.
CoRR
Michael Smith, Peter Snyder, Moritz Haller, Benjamin Livshits, Deian Stefan, Hamed Haddadi
2022 J jnl
Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites.
Proc. Priv. Enhancing Technol.
Michael Smith, Peter Snyder, Moritz Haller, Benjamin Livshits, Deian Stefan, Hamed Haddadi
2022 A* conf
Finding typing compiler bugs.
PLDI
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos
2022 A* conf
Measuring the Privacy vs. Compatibility Trade-off in Preventing Third-Party Stateful Tracking.
WWW
Jordan Jueckstock, Peter Snyder, Shaown Sarker, Alexandros Kapravelos, Benjamin Livshits
2022 A* conf
STAR: Secret Sharing for Private Threshold Aggregation Reporting.
CCS
Alex Davidson, Peter Snyder, E. B. Quirk, Joseph Genereux, Benjamin Livshits, Hamed Haddadi
2021 — conf
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit.
Financial Cryptography (1)
Kaihua Qin, Liyi Zhou, Benjamin Livshits, Arthur Gervais
2021 J jnl
Browselite: A Private Data Saving Solution for the Web.
CoRR
Conor Kelton, Matteo Varvello, Andrius Aucinas, Benjamin Livshits
2021 — conf
Liquidations: DeFi on a Knife-Edge.
Financial Cryptography (2)
Daniel Perez, Sam M. Werner, Jiahua Xu, Benjamin Livshits
2021 A* conf
On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols.
SP
Liyi Zhou, Kaihua Qin, Antoine Cully, Benjamin Livshits, Arthur Gervais
2021 J jnl
On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols.
CoRR
Liyi Zhou, Kaihua Qin, Antoine Cully, Benjamin Livshits, Arthur Gervais
2021 J jnl
Pool-Party: Exploiting Browser Resource Pools as Side-Channels for Web Tracking.
CoRR
Peter Snyder, Soroush Karami, Benjamin Livshits, Hamed Haddadi
2021 J jnl
PrivateFetch: Scalable Catalog Delivery in Privacy-Preserving Advertising.
CoRR
Muhammad Haris Mughees, Gonçalo Pestana, Alex Davidson, Benjamin Livshits
2021 J jnl
STAR: Distributed Secret Sharing for Private Threshold Aggregation Reporting.
CoRR
Alex Davidson, Peter Snyder, E. B. Quirk, Joseph Genereux, Benjamin Livshits
2021 — conf
Shedding (Some) Light on Mobile Browsers Energy Consumption.
TMA
Matteo Varvello, Benjamin Livshits
2021 A* conf
Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited.
USENIX Security Symposium
Daniel Perez, Benjamin Livshits
2021 A conf
Stronger Privacy for Federated Collaborative Filtering With Implicit Feedback.
RecSys
Lorenzo Minto, Moritz Haller, Benjamin Livshits, Hamed Haddadi
2021 J jnl
Stronger Privacy for Federated Collaborative Filtering with Implicit Feedback.
CoRR
Lorenzo Minto, Moritz Haller, Hamed Haddadi, Benjamin Livshits
2021 A* conf
SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking.
CCS
Michael Smith, Peter Snyder, Benjamin Livshits, Deian Stefan
2021 J jnl
THEMIS: A Decentralized Privacy-Preserving Ad Platform with Reporting Integrity.
CoRR
Gonçalo Pestana, Iñigo Querejeta-Azurmendi, Panagiotis Papadopoulos, Benjamin Livshits
2021 J jnl
Towards Private On-Chain Algorithmic Trading.
CoRR
Ceren Kocaogullar, Arthur Gervais, Benjamin Livshits
2021 A* conf
Towards Realistic and ReproducibleWeb Crawl Measurements.
WWW
Jordan Jueckstock, Shaown Sarker, Peter Snyder, Aidan Beggs, Panagiotis Papadopoulos, Matteo Varvello, Benjamin Livshits, Alexandros Kapravelos
2021 B conf
VPN-Zero: A Privacy-Preserving Decentralized Virtual Private Network.
Networking
Matteo Varvello, Iñigo Querejeta-Azurmendi, Antonio Nappa, Panagiotis Papadopoulos, Goncalo Pestana, Benjamin Livshits
2021 J jnl
What's in Your Wallet? Privacy and Security Issues in Web 3.0.
CoRR
Philipp Winter, Anna Harbluk Lorimer, Peter Snyder, Benjamin Livshits
2021 J jnl
ZKSENSE: A Friction-less Privacy-Preserving Human Attestation Mechanism for Mobile Devices.
Proc. Priv. Enhancing Technol.
Iñigo Querejeta-Azurmendi, Panagiotis Papadopoulos, Matteo Varvello, Antonio Nappa, Jiexin Zhang, Benjamin Livshits
2020 A* conf
AdGraph: A Graph-Based Approach to Ad and Tracker Blocking.
SP
Umar Iqbal, Peter Snyder, Shitong Zhu, Benjamin Livshits, Zhiyun Qian, Zubair Shafiq
2020 J jnl
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit.
CoRR
Kaihua Qin, Liyi Zhou, Benjamin Livshits, Arthur Gervais
2020 A* conf
Broken Metre: Attacking Resource Metering in EVM.
NDSS
Daniel Perez, Benjamin Livshits
2020 A* conf
Evaluating the End-User Experience of Private Browsing Mode.
CHI
Ruba Abu-Salma, Benjamin Livshits
2020 A* conf
Filter List Generation for Underserved Regions.
WWW
Alexander Sjösten, Peter Snyder, Antonio Pastor, Panagiotis Papadopoulos, Benjamin Livshits
2020 A* conf
Keeping out the Masses: Understanding the Popularity and Implications of Internet Paywalls.
WWW
Panagiotis Papadopoulos, Peter Snyder, Dimitrios Athanasakis, Benjamin Livshits
2020 J jnl
On the Battery Consumption of Mobile Browsers.
CoRR
Matteo Varvello, Benjamin Livshits
2020 — conf
PERCIVAL: Making In-Browser Perceptual Ad Blocking Practical with Deep Learning.
USENIX ATC
Zain ul Abi Din, Panagiotis Tigas, Samuel T. King, Benjamin Livshits
2020 — conf
Privacy-Preserving Bandits.
MLSys
Mohammad Malekzadeh, Dimitrios Athanasakis, Hamed Haddadi, Benjamin Livshits
2020 A conf
Revisiting Transactional Statistics of High-scalability Blockchains.
Internet Measurement Conference
Daniel Perez, Jiahua Xu, Benjamin Livshits
2020 J jnl
THEMIS: Decentralized and Trustless Ad Platform with Reporting Integrity.
CoRR
Gonçalo Pestana, Iñigo Querejeta-Azurmendi, Panagiotis Papadopoulos, Benjamin Livshits
2020 J jnl
Technical perspective: Analyzing smart contracts with MadMax.
Commun. ACM
Benjamin Livshits
2020 — conf
The Decentralized Financial Crisis.
CVCBT
Lewis Gudgeon, Daniel Perez, Dominik Harz, Benjamin Livshits, Arthur Gervais
2020 J jnl
The Decentralized Financial Crisis: Attacking DeFi.
CoRR
Lewis Gudgeon, Daniel Perez, Dominik Harz, Arthur Gervais, Benjamin Livshits
2020 J jnl
There's No Trick, Its Just a Simple Trick: A Web-Compat and Privacy Improving Approach to Third-party Web Storage.
CoRR
Jordan Jueckstock, Peter Snyder, Shaown Sarker, Alexandros Kapravelos, Benjamin Livshits
2020 J jnl
We Know What They've Been Put Through: Revisiting High-scalability Blockchain Transactions.
CoRR
Daniel Perez, Jiahua Xu, Benjamin Livshits
2019 — conf
A Puff of Steem: Security Analysis of Decentralized Content Curation.
Tokenomics
Aggelos Kiayias, Benjamin Livshits, Andrés Monteoliva Mosteiro, Orfeas Stefanos Thyfronitis Litos
2019 J jnl
Another Brick in the Paywall: The Popularity and Privacy Implications of Paywalls.
CoRR
Panagiotis Papadopoulos, Peter Snyder, Benjamin Livshits
2019 J jnl
BLENDER: Enabling Local Search with a Hybrid Differential Privacy Model.
J. Priv. Confidentiality
Brendan Avent, Aleksandra Korolova, David Zeber, Torgeir Hovden, Benjamin Livshits
2019 Misc conf
BatteryLab, A Distributed Power Monitoring Platform For Mobile Devices.
HotNets
Matteo Varvello, Kleomenis Katevas, Mihai Plesa, Hamed Haddadi, Benjamin Livshits
2019 J jnl
BatteryLab, A Distributed Power Monitoring Platform For Mobile Devices.
CoRR
Matteo Varvello, Kleomenis Katevas, Mihai Plesa, Hamed Haddadi, Benjamin Livshits
2019 Misc conf
BatteryLab, a distributed power monitoring platform for mobile devices: demo abstract.
SenSys
Matteo Varvello, Kleomenis Katevas, Wei Hang, Mihai Plesa, Hamed Haddadi, Fabián E. Bustamante, Benjamin Livshits
2019 J jnl
Broken Metre: Attacking Resource Metering in EVM.
CoRR
Daniel Perez, Benjamin Livshits
2019 J jnl
Filter List Generation for Underserved Regions.
CoRR
Alexander Sjösten, Peter Snyder, Antonio Pastor, Panagiotis Papadopoulos, Benjamin Livshits
2019 J jnl
Percival: Making In-Browser Perceptual Ad Blocking Practical With Deep Learning.
CoRR
Zain ul Abi Din, Panagiotis Tigas, Samuel T. King, Benjamin Livshits
2019 J jnl
Smart Contract Vulnerabilities: Does Anyone Care?
CoRR
Daniel Perez, Benjamin Livshits
2019 A* conf
SpeedReader: Reader Mode Made Fast and Private.
WWW
Mohammad Ghasemisharif, Peter Snyder, Andrius Aucinas, Benjamin Livshits
2019 A conf
Static Analysis for Asynchronous JavaScript Programs.
ECOOP
Thodoris Sotiropoulos, Benjamin Livshits
2019 J jnl
Static Analysis for Asynchronous JavaScript Programs.
CoRR
Thodoris Sotiropoulos, Benjamin Livshits
2019 A* conf
The Anatomy of a Cryptocurrency Pump-and-Dump Scheme.
USENIX Security Symposium
Jiahua Xu, Benjamin Livshits
2019 J jnl
The Blind Men and the Internet: Multi-Vantage Point Web Measurements.
CoRR
Jordan Jueckstock, Shaown Sarker, Peter Snyder, Panagiotis Papadopoulos, Matteo Varvello, Benjamin Livshits, Alexandros Kapravelos
2019 J jnl
VPN0: A Privacy-Preserving Decentralized Virtual Private Network.
CoRR
Matteo Varvello, Iñigo Querejeta-Azurmendi, Antonio Nappa, Panagiotis Papadopoulos, Goncalo Pestana, Benjamin Livshits
2019 A* conf
When the Signal is in the Noise: Exploiting Diffix's Sticky Noise.
USENIX Security Symposium
Andrea Gadotti, Florimond Houssiau, Luc Rocher, Benjamin Livshits, Yves-Alexandre de Montjoye
2019 J jnl
ZKSENSE: a Privacy-Preserving Mechanism for Bot Detection in Mobile Devices.
CoRR
Panagiotis Papadopoulos, Iñigo Querejeta-Azurmendi, Jiexin Zhang, Matteo Varvello, Antonio Nappa, Benjamin Livshits
2018 J jnl
A Puff of Steem: Security Analysis of Decentralized Content Curation.
CoRR
Aggelos Kiayias, Benjamin Livshits, Andrés Monteoliva Mosteiro, Orfeas Stefanos Thyfronitis Litos
2018 J jnl
AdGraph: A Machine Learning Approach to Automatic and Effective Adblocking.
CoRR
Umar Iqbal, Zubair Shafiq, Peter Snyder, Shitong Zhu, Zhiyun Qian, Benjamin Livshits
2018 B conf
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode.
ATVA
Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey
2018 J jnl
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode.
CoRR
Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey
2018 J jnl
Evaluating the End-User Experience of Private Browsing Mode.
CoRR
Ruba Abu-Salma, Benjamin Livshits
2018 A* conf
SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE.JS.
NDSS
Cristian-Alexandru Staicu, Michael Pradel, Benjamin Livshits
2018 J jnl
SpeedReader: Reader Mode Made Fast and Private.
CoRR
Mohammad Ghasemisharif, Peter Snyder, Andrius Aucinas, Benjamin Livshits
2018 J jnl
The Anatomy of a Cryptocurrency Pump-and-Dump Scheme.
CoRR
Jiahua Xu, Benjamin Livshits
2018 J jnl
Toward an Evidence-based Design for Reactive Security Policies and Mechanisms.
CoRR
Omer Katz, Benjamin Livshits
2018 J jnl
Who Filters the Filters: Understanding the Growth, Usefulness and Efficiency of Crowdsourced Ad Blocking.
CoRR
Antoine Vastel, Peter Snyder, Benjamin Livshits
2017 A* conf
BLENDER: Enabling Local Search with a Hybrid Differential Privacy Model.
USENIX Security Symposium
Brendan Avent, Aleksandra Korolova, David Zeber, Torgeir Hovden, Benjamin Livshits
2017 J jnl
BLENDER: Enabling Local Search with a Hybrid Differential Privacy Model.
CoRR
Brendan Avent, Aleksandra Korolova, David Zeber, Torgeir Hovden, Benjamin Livshits
2017 — conf
Cheetah: just-in-time taint analysis for Android apps.
ICSE (Companion Volume)
Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill
2017 A conf
Just-in-time static analysis.
ISSTA
Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill
2017 J jnl
Prepose: Privacy, Security, and Reliability for Gesture-Based Programming.
IEEE Secur. Priv.
Lucas Silva Figueiredo, David Molnar, Margus Veanes, Benjamin Livshits
2017 — conf
Toward full elasticity in distributed static analysis: the case of callgraph analysis.
ESEC/SIGSOFT FSE
Diego Garbervetsky, Edgardo Zoppi, Benjamin Livshits
2016 A conf
Kizzle: A Signature Compiler for Detecting Exploit Kits.
DSN
Ben Stock, Benjamin Livshits, Benjamin G. Zorn
2016 A* conf
Prepose: Privacy, Security, and Reliability for Gesture-Based Programming.
IEEE Symposium on Security and Privacy
Lucas Silva Figueiredo, Benjamin Livshits, David Molnar, Margus Veanes
2015 A* conf
Data-Parallel String-Manipulating Programs.
POPL
Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits
2015 — conf
Detecting JavaScript races that matter.
ESEC/SIGSOFT FSE
Erdal Mutlu, Serdar Tasiran, Benjamin Livshits
2015 J jnl
Fast: A Transducer-Based Language for Tree Manipulation.
ACM Trans. Program. Lang. Syst.
Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
2015 J jnl
In defense of soundiness: a manifesto.
Commun. ACM
Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondrej Lhoták, José Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, Dimitrios Vardoulakis
2015 — conf
InterPoll: Crowd-Sourced Internet Polls.
SNAPL
Benjamin Livshits, Todd Mytkowicz
2015 A* conf
PriVaricator: Deceiving Fingerprinters with Little White Lies.
WWW
Nick Nikiforakis, Wouter Joosen, Benjamin Livshits
2015 A* conf
Program Boosting: Program Synthesis via Crowd-Sourcing.
POPL
Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes
2015 A* conf
SurroundWeb: Mitigating Privacy Concerns in a 3D Web Browser.
IEEE Symposium on Security and Privacy
John Vilk, David Molnar, Benjamin Livshits, Eyal Ofek, Christopher J. Rossbach, Alexander Moshchuk, Helen J. Wang, Ran Gal
2014 A conf
Automated migration of build scripts using dynamic analysis and search-based refactoring.
OOPSLA
Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits
2014 A* conf
Fast: a transducer-based language for tree manipulation.
PLDI
Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
2014 — conf
I Know It When I See It: Observable Races in JavaScript Applications.
Dyla@PLDI
Erdal Mutlu, Serdar Tasiran, Benjamin Livshits
2014 A* conf
Let's do it at my place instead?: attitudinal and behavioral study of privacy in client-side personalization.
CHI
Alfred Kobsa, Bart P. Knijnenburg, Benjamin Livshits
2014 A conf
MoRePriv: mobile OS support for application personalization and privacy.
ACSAC
Drew Davidson, Matt Fredrikson, Benjamin Livshits
2014 J jnl
Preface.
J. Comput. Secur.
Lieven Desmet, Martin Johns, Benjamin Livshits, Andrei Sabelfeld
2014 B conf
Saving Money While Polling with InterPoll Using Power Analysis.
HCOMP
Benjamin Livshits, Todd Mytkowicz
2014 A* conf
ZØ: An Optimizing Distributing Zero-Knowledge Compiler.
USENIX Security Symposium
Matthew Fredrikson, Benjamin Livshits
2013 A* conf
Automatic Mediation of Privacy-Sensitive Resource Access in Smartphone Applications.
USENIX Security Symposium
Benjamin Livshits, Jaeyeon Jung
2013 A* conf
Enabling Fine-Grained Permissions for Augmented Reality Applications with Recognizers.
USENIX Security Symposium
Suman Jana, David Molnar, Alexander Moshchuk, Alan M. Dunn, Benjamin Livshits, Helen J. Wang, Eyal Ofek
2013 — ed.
Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
ESSoS
Jan Jürjens, Benjamin Livshits, Riccardo Scandariato
2013 A* conf
Fully abstract compilation to JavaScript.
POPL
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits
2013 A conf
Operating System Support for Augmented Reality Applications.
HotOS
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 — conf
Practical static analysis of JavaScript applications in the presence of frameworks and libraries.
ESEC/SIGSOFT FSE
Magnus Madsen, Benjamin Livshits, Michael Fanning
2013 A* conf
Towards fully automatic placement of security sanitizers and declassifiers.
POPL
Benjamin Livshits, Stephen Chong
2013 A* conf
Verifying higher-order programs with the dijkstra monad.
PLDI
Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits
2012 — ed.
Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
ESSoS
Gilles Barthe, Benjamin Livshits, Riccardo Scandariato
2012 — conf
Finding Malware on a Web Scale.
MMM-ACNS
Benjamin Livshits
2012 A conf
Private Client-Side Profiling with Random Forests and Hidden Markov Models.
Privacy Enhancing Technologies
George Danezis, Markulf Kohlweiss, Benjamin Livshits, Alfredo Rial
2012 A* conf
Rozzle: De-cloaking Internet Malware.
IEEE Symposium on Security and Privacy
Clemens Kolbitsch, Benjamin Livshits, Benjamin G. Zorn, Christian Seifert
2012 A* conf
Symbolic finite state transducers: algorithms and applications.
POPL
Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj S. Bjørner
2012 J jnl
Web Application Security (Dagstuhl Seminar 12401).
Dagstuhl Reports
Lieven Desmet, Martin Johns, Benjamin Livshits, Andrei Sabelfeld
2011 A* conf
Fast and Precise Sanitizer Analysis with BEK.
USENIX Security Symposium
Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes
2011 A* conf
RePriv: Re-imagining Content Personalization and In-browser Privacy.
IEEE Symposium on Security and Privacy
Matthew Fredrikson, Benjamin Livshits
2011 A* conf
SCRIPTGARD: automatic context-sensitive sanitization for large-scale legacy web applications.
CCS
Prateek Saxena, David Molnar, Benjamin Livshits
2011 — conf
Towards ensuring client-side computational integrity.
CCSW
George Danezis, Benjamin Livshits
2011 A* conf
Verified Security for Browser Extensions.
IEEE Symposium on Security and Privacy
Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy
2011 A* conf
ZOZZLE: Fast and Precise In-Browser JavaScript Malware Detection.
USENIX Security Symposium
Charlie Curtsinger, Benjamin Livshits, Benjamin G. Zorn, Christian Seifert
2010 — conf
JSMeter: Comparing the Behavior of JavaScript Benchmarks with Real Web Applications.
WebApps
Paruj Ratanaworabhan, Benjamin Livshits, Benjamin G. Zorn
2009 — conf
09141 Abstracts Collection - Web Application Security.
Web Application Security
Dan Boneh, Úlfar Erlingsson, Martin Johns, Benjamin Livshits
2009 — conf
09141 Executive Summary - Web Application Security.
Web Application Security
Dan Boneh, Úlfar Erlingsson, Martin Johns, Benjamin Livshits
2009 — conf
CatchAndRetry: extending exceptions to handle distributed system failures and recovery.
PLOS@SOSP
Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi
2009 — ed.
Web Application Security, 29.03. - 03.04.2009
Web Application Security
Dan Boneh, Úlfar Erlingsson, Martin Johns, Benjamin Livshits
2007 — —
Improving software insecurity with precise static and runtime analysis.
Benjamin Livshits