$_ stdout
~/publications

Publications

Over 100 papers in top-tier venues like PLDI, POPL, SOSP, USENIX Security, and CCS.

Selected recent publications

CCS 2025 Towards a Formal Foundation for Blockchain Rollups [PDF] [Abstract] [BibTeX]
Usenix Security 2024 SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs [PDF] [Abstract] [BibTeX]
ICSE 2024 Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? [PDF] [Abstract] [BibTeX]
Usenix Security 2023 The Blockchain Imitation Game [PDF] [Abstract] [BibTeX]
Usenix Security 2023 Pool-Party: Exploiting Browser Resource Pools for Web Tracking [PDF] [Abstract] [BibTeX]
OOPSLA 2022 A Study of Inline Assembly in Solidity Smart Contracts [PDF] [Abstract] [BibTeX]
CCS 2022 STAR: Secret Sharing for Private Threshold Aggregation Reporting [PDF] [Abstract] [BibTeX]
PLDI 2022 Finding Typing Compiler Bugs [PDF] [Abstract] [BibTeX]
WWW 2022 Measuring the Privacy vs. Compatibility Trade-off in Preventing Third-Party Stateful Tracking [PDF] [Abstract] [BibTeX]
CCS 2021 SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking [PDF] [Abstract] [BibTeX]
FC 2021 Liquidations: DeFi on a Knife-edge [PDF] [Abstract] [BibTeX]
FC 2021 Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit [PDF] [Abstract] [BibTeX]
Oakland 2021 Detecting Filter List Evasion With Event-Loop-Turn Granularity JavaScript Signatures [PDF] [Abstract] [BibTeX]
Oakland 2021 On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols [PDF] [Abstract] [BibTeX]
Usenix 2021 Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited [PDF] [Abstract] [BibTeX]

Chronological list

Google Scholar
2026
  1. LLMs + Security = Trouble [PDF] [Abstract] [BibTeX] Benjamin Livshits
    ArXiV 2602.08422, February 2026.
  2. Platform Building With Fake Consumers: On Double Dippers and Airdrop Farmers [PDF] [Abstract] [BibTeX] Hanna Hałaburda, Benjamin Livshits, and Aviv Yaish
    Workshop on Decentralized Finance in Conjunction with FC, March 2026.
2025
  1. Unaligned Incentives: Pricing Attacks Against Blockchain Rollups [PDF] [Abstract] [BibTeX] Stefanos Chaliasos, Conner Swann, Sina Pilehchiha, Nicolas Mohnblatt, Benjamin Livshits, Nicolas Mohnblatt
    ArXiV 2509.17126, September 2025.
  2. Towards a Formal Foundation for Blockchain Rollups [PDF] [Abstract] [BibTeX] Denis Firsov and Benjamin Livshits Stefanos Chaliasos, Denis Firsov and Benjamin Livshits
    ACM Conference on Computer and Communications Security (CCS), October 2025.
  3. AlDBaran: Towards Blazingly Fast State Commitments for Blockchains [PDF] [Abstract] [BibTeX] Bernhard Kauer, Aleksandr Petrosyan, Benjamin Livshits
    ArXiV 2508.10493, August 2025.
  4. The Writing is on the Wall: Analyzing the Boom of Inscriptions and its Impact on EVM-compatible Blockchains [PDF] [Abstract] [BibTeX] Johnnatan Messias, Krzysztof Gogol, Maria Inês Silva, and Benjamin Livshits
    Proceedings of the 4th International Workshop on Cryptoasset Analytics (CAAW), April 2024.
  5. A Public Dataset For the ZKsync Rollup [PDF] [Abstract] [BibTeX] Maria Inês Silva, Johnnatan Messias, and Benjamin Livshits.
    Proceedings of the 4th International Workshop on Cryptoasset Analytics (CAAW), April 2024.
  6. Pricing Factors and TFMs for Scalability-Focused ZK-Rollups. [PDF] [Abstract] [BibTeX] Stefanos Chaliasos, Sina Pilehchiha, Nicolas Mohnblatt, Assimakis Kattis, and Benjamin Livshits
    In Proceedings of the Mathematical Research for Blockchain Economy (MARBLE), July 2025.
  7. Prooφ: A ZKP Market Mechanism. [PDF] [Abstract] [BibTeX] Wenhao Wang, Lulu Zhou, Aviv Yaish, Fan Zhang, Ben Fisch, and Benjamin Livshits
    FC, April 2025.
2024
  1. Pricing Factors and TFMs for Scalability-Focused ZK-Rollups [PDF] [Abstract] [BibTeX] Stefanos Chaliasos, Nicolas Mohnblatt, Assimakis Kattis, and Benjamin Livshits
    arXiv:2410.13277, October 2024.
  2. Short Paper: Atomic Execution is Not Enough for Arbitrage Profit Extraction in Shared Sequencers [PDF] [Abstract] [BibTeX] Maria Inês Silva and Benjamin Livshits
    arXiv:2410.11552, October 2024.
  3. Harvesting Layer-2 Yield: Suboptimality in Automated Market Makers [PDF] [Abstract] [BibTeX] Krzysztof Gogol, Manvir Schneider, Benjamin Livshits
    arXiv:2410.10324, October 2024.
  4. MEV Capture Through Time-Advantaged Arbitrage [PDF] [Abstract] [BibTeX] Robin Fritsch, Maria Inês Silva, Akaki Mamageishvili, Benjamin Livshits, Edward W. Felten
    arXiv:2410.10797, October 2024.
  5. Rorqual: Speeding up Narwhal with TEEs [PDF] [Abstract] [BibTeX] Luciano Freitas, Shashank Motepalli, Matej Pavlovic, and Benjamin Livshits
    arXiv:2408.14099, August 2024.
  6. A Public Dataset For the ZKsync Rollup [PDF] [Abstract] [BibTeX] Maria Inês Silva, Johnnatan Messias, and Benjamin Livshits
    arXiv:2407.18699, July 2024.
  7. zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs [PDF] [Abstract] [BibTeX] Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, and Michele Orrù
    IEEE European Symposium on Security and Privacy (EuroS&P), July 2024.
  8. Liquid Staking Tokens in Automated Market Makers. [PDF] [Abstract] [BibTeX] Krzysztof Gogol, Robin Fritsch, Malte Schlosser, Johnnatan Messias, Benjamin Kraner, and Claudio Tessone.
    In Proceedings of the Mathematical Research for Blockchain Economy (MARBLE), July 2024.
  9. Layer-2 Arbitrage: An Empirical Analysis of Swap Dynamics and Price Disparities on Rollups. [PDF] [Abstract] [BibTeX] Krzysztof Gogol, Johnnatan Messias, Deborah Miori, Claudio Tessone, and Benjamin Livshits..
    In Proceedings of the Mathematical Research for Blockchain Economy (MARBLE), July 2024.
  10. Quantifying Arbitrage in Automated Market Makers: An Empirical Study of Ethereum ZK Rollups [PDF] [Abstract] [BibTeX] Krzysztof Gogol, Johnnatan Messias, Deborah Miori, Claudio Tessone, Benjamin Livshits
    ArXiV 2406.02172, October 2024.
  11. TierDrop: Harnessing Airdrop Farmers for User Growth [PDF] [Abstract] [BibTeX] Aviv Yaish and Benjamin Livshits
    arXiv:2407.01176, June 2024.
  12. Analyzing and Benchmarking ZK-Rollups [PDF] [Abstract] [BibTeX] Stefanos Chaliasos, Itamar Reif, Adrià Torralba-Agell, Jens Ernstberger, Assimakis Kattis, Benjamin Livshits
    eprint 2024/889, June 2024.
  13. Towards a Formal Foundation for Blockchain Rollups [PDF] [Abstract] [BibTeX] Denis Firsov and Benjamin Livshits Stefanos Chaliasos, Denis Firsov and Benjamin Livshits
    arXiv:2406.16219, June 2024.
  14. The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation [PDF] [Abstract] [BibTeX] Denis Firsov and Benjamin Livshits
    eprint 2024/768, May 2024.
  15. SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs [PDF] [Abstract] [BibTeX] Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, Benjamin Livshits
    Usenix Security Symposium, August 2024.
  16. The Writing is on the Wall: Analyzing the Boom of Inscriptions and its Impact on EVM-compatible Blockchains [PDF] [Abstract] [BibTeX] Johnnatan Messias, Krzysztof Gogol, Maria Inês Silva, and Benjamin Livshits
    arXiv:2405.15288, May 2024.
  17. Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler [PDF] [Abstract] [BibTeX] Marco Stronati, Denis Firsov, Antonio Locascio, Benjamin Livshits
    arXiv:2405.12115, May 2024.
  18. Mechanism Design for ZK-Rollup Prover Markets [PDF] [Abstract] [BibTeX] Wenhao Wang, Lulu Zhou, Aviv Yaish, Fan Zhang, Ben Fisch, Benjamin Livshits
    arXiv:2404.06495, April 2024.
  19. Quantifying Arbitrage in Automated Market Makers: An Empirical Study of Ethereum ZK Rollups [PDF] [Abstract] [BibTeX] Krzysztof Gogol, Johnnatan Messias, Deborah Miori, Claudio Tessone, Benjamin Livshits
    arXiv:2403.16083, March 2024.
  20. SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs [PDF] [Abstract] [BibTeX] Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, Benjamin Livshits
    arXiv:2402.15293, February 2024.
  21. Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? [PDF] [Abstract] [BibTeX] Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, and Benjamin Livshits
    In Proceedings of the 46th International Conference on Software Engineering (ICSE), April 2024.
2023
  1. Airdrops: Giving Money Away Is Harder Than It Seems [PDF] [Abstract] [BibTeX] Johnnatan Messias, Aviv Yaish, and Benjamin Livshits
    arXiv:2312.02752, December 2023.
  2. zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs [PDF] [Abstract] [BibTeX] Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, and Michele Orrù
    Paper 2023/1503, ePrint, October 2023.
  3. Smart Contract and DeFi Security: Insights from Tool Evaluations and Practitioner Surveys [PDF] [Abstract] [BibTeX] Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, and Benjamin Livshits
    Stanford Blockchain Conference 2023, August 2023.
  4. The Blockchain Imitation Game [PDF] [Abstract] [BibTeX] Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, and Arthur Gervais
    Stanford Blockchain Conference 2023, August 2023.
  5. The Blockchain Imitation Game [PDF] [Abstract] [BibTeX] Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Ben Livshits, Dawn Song, Arthur Gervais
    Usenix Security Symposium 2023, August 2023.
  6. Pool-Party: Exploiting Browser Resource Pools for Web Tracking [PDF] [Abstract] [BibTeX] Peter Snyder, Soroush Karami, Arthur Edelstein, Benjamin Livshits, and Hamed Haddadi
    Usenix Security Symposium 2023, August 2023.
  7. On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy [PDF] [Abstract] [BibTeX] Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Ben Livshits and Arthur Gervais
    The Web Conference (WWW 2023), April 2023.
2022
  1. A Study of Inline Assembly in Solidity Smart Contracts [PDF] [Abstract] [BibTeX] Stefanos Chaliasos, Arthur Gervais, and Benjamin Livshits
    Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2022), December 2022.
  2. A Study of Inline Assembly in Solidity Smart Contracts [PDF] [Abstract] [BibTeX] Stefanos Chaliasos, Arthur Gervais, and Benjamin Livshits
    Crypto Economics Security Conference, October 2022.
  3. STAR: Secret Sharing for Private Threshold Aggregation Reporting (best paper award) [PDF] [Abstract] [BibTeX] Alex Davidson, Peter Snyder, E. B. Quirk, Joseph Genereux, Hamed Haddadi, and Benjamin Livshits
    ACM Conference on Computer and Communications Security (CCS), November 2022.
  4. Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites [PDF] [Abstract] [BibTeX] Michael Smith, Peter Snyder, Moritz Haller, Benjamin Livshits, Deian Stefan, and Hamed Haddadi
    Privacy Enhancing Technologies Symposium , July 2022.
  5. Finding Typing Compiler Bugs (distinguished paper and best artifact awards) [PDF] [Abstract] [BibTeX] Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Benjamin Livshits, and Dimitris Mitropoulos.
    Conference on Programming Language Design and Implementation (PLDI), June 2022.
  6. Measuring the Privacy vs. Compatibility Trade-off in Preventing Third-Party Stateful Tracking [PDF] [Abstract] [BibTeX] Jordan Jueckstock, Peter Snyder, Shaown Sarker, Alexandros Kapravelos, and Benjamin Livshits
    The World Wide Web Conference, April 2022.
  7. BatteryLab: A Collaborative Platform for Power Monitoring [PDF] [Abstract] [BibTeX] Matteo Varvello, Kleomenis Katevas, Mihai Plesa, Hamed Haddadi, and Benjamin Livshits
    Passive and Active Measurement Conference, March 2022.
2021
  1. Towards Private On-Chain Algorithmic Trading [PDF] [Abstract] [BibTeX] Ceren Kocaoğullar, Arthur Gervais, and Benjamin Livshits
    arXiv:2109.11270, September 2021.
  2. STAR: Distributed Secret Sharing for Private Threshold Aggregation Reporting (distinguished paper award) [PDF] [Abstract] [BibTeX] Alex Davidson, Peter Snyder, E. B. Quirk, Joseph Genereux, and Benjamin Livshits
    arXiv:2109.10074, September 2021.
  3. PrivateFetch: Scalable Catalog Delivery in Privacy-Preserving Advertising [PDF] [Abstract] [BibTeX] Muhammad Haris Mughees, Gonçalo Pestana, Alex Davidson, and Benjamin Livshits
    arXiv:2109.08189, September 2021.
  4. What's in Your Wallet? Privacy and Security Issues in Web 3.0 [PDF] [Abstract] [BibTeX] Philipp Winter, Anna Harbluk Lorimer, Peter Snyder, and Benjamin Livshits
    arXiv:2109.06836, September 2021.
  5. Stronger Privacy for Federated Collaborative Filtering with Implicit Feedback [PDF] [Abstract] [BibTeX] Lorenzo Minto, Moritz Haller, Hamed Haddadi, and Benjamin Livshits
    ACM Conference on Recommender Systems (RecSys) 2021, September 2021.
  6. SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking [PDF] [Abstract] [BibTeX] Michael Smith, Peter Snyder, Benjamin Livshits, and Deian Stefan
    Computer and Communication Security (CCS), November 2021.
  7. Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited [PDF] [Abstract] [BibTeX] Daniel Perez and Benjamin Livshits
    Usenix Security Conference, August 2021.
  8. zkSENSE: A Friction-less Privacy-Preserving HumanAttestation Mechanism for Mobile Devices [PDF] [PDF] [BibTeX] Iñigo Querejeta Azurmendi, Panagiotis Papadopoulos, Matteo Varvello, Jiexin Zhang, Antonio Nappa, and Benjamin Livshits
    Proceedings on Privacy Enhancing Technologies (PoPETS) 2021, July 2021.
  9. On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols [PDF] [Abstract] [BibTeX] Liyi Zhou, Kaihua Qin, Antoine Cully, Benjamin Livshits, and Arthur Gervais
    IEEE Symposium on Security and Privacy (Oakland Security), May 2021.
  10. Detecting Filter List Evasion With Event-Loop-Turn Granularity JavaScript Signatures [PDF] [Abstract] [BibTeX] Quan Chen, Peter Snyder, Benjamin Livshits, and Alexandros Kapravelos
    IEEE Symposium on Security and Privacy (Oakland Security), May 2021.
  11. Towards Realistic and Reproducible Web Crawl Measurements [PDF] [Abstract] [BibTeX]
    Jordan Jueckstock, Shaown Sarker, Alexandros Kapravelos, Aidan Beggs, Peter Snyder, Panagiotis Papadopoulos, Matteo Varvello, and Benjamin Livshits
    World Wide Web Conference (WWW), April 2021.
  12. BrowseLite: A Private Data Saving Solution for the Web [PDF] [Abstract] [BibTeX]
    Conor Kelton, Matteo Varvello, Andrius Aucinas, Benjamin Livshits
    World Wide Web Conference (WWW), April 2021.
  13. Liquidations: DeFi on a Knife-edge [PDF] [Abstract] [BibTeX]
    Daniel Perez, Sam M. Werner, Jiahua Xu, and Benjamin Livshits
    Financial cryptography (FC), March 2021.
  14. Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit [PDF] [Abstract] [BibTeX]
    Kaihua Qin, Liyi Zhou, Benjamin Livshits, and Arthur Gervais
    Financial cryptography (FC), March 2021.
2020
  1. Revisiting Transactional Statistics of High-scalability Blockchain [PDF] [Abstract] [BibTeX]
    Daniel Perez, Jiahua Xu, and Benjamin Livshits
    IMC 2020, October 2020.
  2. Liquidations: DeFi on a Knife-edge [PDF] [Abstract] [BibTeX]
    Daniel Perez, Sam M. Werner, Jiahua Xu, and Benjamin Livshits
    arXiv:2009.13235, September 2020.
  3. THEMIS: Decentralized and Trustless Ad Platform with Reporting Integrity [PDF] [Abstract] [BibTeX]
    Gonçalo Pestana, Iñigo Querejeta-Azurmendi, Panagiotis Papadopoulos, and Benjamin Livshits
    arXiv:2003.03810, July 2020.
  4. Percival: Making In-Browser Perceptual Ad Blocking Practical With Deep Learning [PDF] [Abstract] [BibTeX]
    Zain ul Abi Din, Panagiotis Tigas, Samuel T. King, and Benjamin Livshits
    Usenix ATC, July 2020.
  5. Privacy-Preserving Bandits. [PDF] [Abstract] [BibTeX] Mohammad Malekzadeh, Dimitrios Athanasakis, Hamed Haddadi, and Benjamin Livshits
    MLSys, March 2020.
  6. The Decentralized Financial Crisis: Attacking DeFi. [PDF] [Abstract] [BibTeX] Lewis Gudgeon, Daniel Perez, Dominik Harz, Arthur Gervais, and Benjamin Livshits
    Crypto Valley Conference, June 2020.
  7. Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit. [PDF] [Abstract] [BibTeX]
    Kaihua Qin, Liyi Zhou, Benjamin Livshits, and Arthur Gervais
    arXiv:2003.03810, March 2020.
  8. We Know What They've Been Put Through: Revisiting High-scalability Blockchain Transactions. [PDF] [Abstract] [BibTeX]
    Daniel Perez, Jiahua Xu, and Benjamin Livshits
    arXiv:2003.02693, March 2020.
  9. The Decentralized Financial Crisis: Attacking DeFi. [PDF] [Abstract] [BibTeX]
    Lewis Gudgeon, Daniel Perez, Dominik Harz, Arthur Gervais, and Benjamin Livshits
    arXiv:2002.08099, February 2020.
  10. Who Filters the Filters: Understanding the Growth, Usefulness and Efficiency of Crowdsourced Ad Blocking. [PDF] [Abstract] [BibTeX] Antoine Vastel, Peter Snyder, and Benjamin Livshits
    SIGMETRICS, June 2020.
  11. Broken Metre: Attacking Resource Metering in EVM. [PDF] [Abstract] [BibTeX] Daniel Perez and Benjamin Livshits
    Network and Distributed Systems Symposium (NDSS), February 2020.
  12. Keeping Out the Masses: Understanding the Popularity and Implications of Internet Paywalls. [PDF] [Abstract] [Abstract]
    Panagiotis Papadopoulos, Peter Snyder, and Benjamin Livshits
    International World Wide Web Conference (WWW), April 2020.
  13. Filter List Generation for Underserved Regions. [PDF] [Abstract] [Abstract]
    Alexander Sjosten, Peter Snyder, Antonio Pastor, Panagiotis Papadopoulos, and Benjamin Livshits
    International World Wide Web Conference (WWW), April 2020.
  14. Evaluating the End-User Experience of Private Browsing Mode. [PDF] [Abstract] [BibTeX] Ruba Abu-Salma and Benjamin Livshits
    CHI Conference on Human Factors in Computing Systems Proceedings (CHI'20), April 2020.
  15. Broken Metre: Attacking Resource Metering in EVM. [PDF] [Abstract] [BibTeX] Daniel Perez and Benjamin Livshits
    arXiv:1909.07220, September 2020.
  16. AdGraph: A Graph-Based Approach to Ad and Tracker Blocking. [PDF] [Abstract] [BibTeX] Umar Iqbal, Peter Snyder, Shitong Zhu, Benjamin Livshits, Zhiyun Qian, and Zubair Shafiq
    IEEE Symposium on Security and Privacy (Oakland Security), May 2020.
2019
  1. The Anatomy of a Cryptocurrency Pump-and-Dump Scheme. [PDF] [Abstract] [BibTeX] Jiahua Xu and Benjamin Livshits
    Usenix Security, August 2019.
  2. BatteryLab, A Distributed Power Monitoring Platform For Mobile Devices [PDF] [Abstract] [BibTeX]
    Matteo Varvello, Kleomenis Katevas, Mihai Plesa, Hamed Haddadi, Benjamin Livshits
    Technical Report arXiv:1910.08951, October 2019.
  3. The Blind Men and the Internet: Multi-Vantage Point Web Measurements [PDF] [Abstract] [BibTeX]
    Jordan Jueckstock, Shaown Sarker, Peter Snyder, Panagiotis Papadopoulos, Matteo Varvello, Benjamin Livshits and Alexandros Kapravelos
    Technical Report arXiv:1905.08767, May 2019.
  4. Percival: Making In-Browser Perceptual Ad Blocking Practical With Deep Learning [PDF] [Abstract] [BibTeX]
    Zain ul Abi Din, Panagiotis Tigas, and Samuel T. King, and Benjamin Livshits
    Technical Report arXiv:1905.07444, May 2019.
  5. Static Analysis for Asynchronous JavaScript Programs. [PDF] [Abstract] [BibTeX] Thodoris Sotiropoulos and Benjamin Livshits
    European Conference on Object-Oriented Programming (ECOOP), July 2019.
  6. Puff of Steem: Security Analysis of Decentralized Content Curation. [PDF] [Abstract] [BibTeX]
    Aggelos Kiayias, Benjamin Livshits, Andrés Monteoliva Mosteiro, and Orfeas Stefanos Thyfronitis Litos
    Tokenomics, May 2019.
  7. Smart Contract Vulnerabilities: Does Anyone Care? [PDF] [Abstract] [BibTeX]
    Daniel Perez and Benjamin Livshits
    Technical Report arXiv:1902.06710, February 2019.
  8. When the Signal is in the Noise: Exploiting Diffix's Sticky Noise. [PDF] [Abstract] [BibTeX]
    Andrea Gadotti, Florimond Houssiau, Luc Rocher, Yves-Alexandre de Montjoye, Benjamin Livshits
    Usenix Security, August 2019.
  9. SpeedReader: Reader Mode Made Fast and Private. [PDF] [Abstract] [BibTeX]
    Mohammad Ghasemisharif, Peter Snyder, Andrius Aucinas, and Benjamin Livshits
    Work Wide Web Conference, May 2019.
2018
  1. Static Analysis for Asynchronous JavaScript Programs. [PDF] [Abstract] [BibTeX]
    Thodoris Sotiropoulos and Benjamin Livshits
    Technical Report arXiv:1901.03575, January 2019.
  2. The Anatomy of a Cryptocurrency Pump-and-Dump Scheme. [PDF] [Abstract] [BibTeX] Jiahua Xu and Benjamin Livshits
    Technical Report arXiv:1811.10109v1, November 2018.
  3. Evaluating the End-User Experience of Private Browsing Mode. [PDF] [Abstract] [BibTeX]
    Ruba Abu-Salma and Benjamin Livshits
    Technical Report ArXiv 1811.08460, November 2018.
  4. SpeedReader: Reader Mode Made Fast and Private. [PDF] [Abstract] [BibTeX]
    Mohammad Ghasemisharif, Peter Snyder, Andrius Aucinas, and Benjamin Livshits
    Technical Report ArXiv 1811.03661, November 2018.
  5. Who Filters the Filters: Understanding the Growth, Usefulness and Efficiency of Crowdsourced Ad Blocking. [PDF] [Abstract] [BibTeX]
    Antoine Vastel, Peter Snyder and Benjamin Livshits
    Technical Report ArXiv 1810.09160, October 2018.
  6. AdGraph: A Machine Learning Approach to Automatic and Effective Adblocking. [PDF] [Abstract] [BibTeX]
    Umar Iqbal, Zubair Shafiq, Peter Snyder, Shitong Zhu, Zhiyun Qian, and Benjamin Livshits
    Technical Report ArXiv 1810.09160, October 2018.
  7. A Puff of Steem: Security Analysis of Decentralized Content Curation. [PDF] [Abstract] [BibTeX] Aggelos Kiayias, Benjamin Livshits, Andres Monteoliva Mosteiro, and Orfeas Stefanos Thyfronitis Litos
    Technical Report Arxiv-2412873, September 2018.
  8. EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. [PDF] [Abstract] [BibTeX] Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, and Ilya Sergey
    International Symposium on Automated Technology for Verification and Analysis, October 2018.
  9. EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. [PDF] [Abstract] [BibTeX] Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, and Ilya Sergey
    International Symposium on Automated Technology for Verification and Analysis, October 2018.
  10. AdGraph: A Machine Learning Approach to Automatic and Effective Adblocking. [PDF] [Abstract] [BibTeX] Umar Iqbal, Zubair Shafiq, Peter Snyder, Shitong Zhu, and Zhiyun Qian, May 2018.
  11. Synode: Understanding and Automatically Preventing Injection Attacks on Node.js. [PDF] [Abstract] [BibTeX] Cristian-Alexandru Staicu, Michael Pradel, and Benjamin Livshits
    Network and Distributed Systems Symposium (NDSS), February 2018.
2017
  1. Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis. [PDF [Abstract] [BibTeX] Diego Garbervetsky, Edgardo Zoppi, and Benjamin Livshits
    Foundations of Software Engineering (FSE), September 2017.
  2. BLENDER: Enabling Local Search with a Hybrid Differential Privacy Model. [PDF] [Abstract] [BibTeX] Brendan Avent, Aleksandra Korolova, David Zeber, Torgeir Hovden, and Benjamin Livshits
    Usenix Security, August 2017.
  3. BLENDER: Enabling Local Search with a Hybrid Differential Privacy Model. [PDF] [Abstract] [BibTeX] Brendan Avent, Aleksandra Korolova, David Zeber, Torgeir Hovden, and Benjamin Livshits
    Technical Report Arxiv-1879097, April 2017.
  4. Just-in-Time Static Analysis. [PDF] [Abstract] [BibTeX] Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith and Emerson Murphy-Hill
    International Symposium on Software Testing and Analysis (ISSTA), July 2017.
2016
  1. Prepose: Privacy, Security, and Reliability for Gesture-Based Programming. [PDF] [Abstract] [BibTeX] Lucas Silva Figueiredo, David Molnar, Margus Veanes, and Benjamin Livshits,
    IEEE Journal of Security and Privacy, December 2016.
  2. Understanding and Automatically Preventing Injection Attacks on Node.JS. [PDF] [Abstract] [BibTeX] Cristian-Alexandru Staicu, Michael Pradel, and Benjamin Livshits
    CASED Technical Report , November 2016.
  3. Toward an Evidence-based Design for Reactive Security Policies and Mechanisms. [PDF] [Abstract] [BibTeX] Omer Katz and Benjamin Livshits,
    Technion Technical Report CS-2016-04-2016, November 2016.
  4. PrePose: Security and Privacy for Gesture-Based Programming. [PDF] [Abstract] [BibTeX] Lucas Silva Figueiredo, David Molnar, Margus Veanes, and Benjamin Livshits,
    Microsoft Research Technical Report MSR-TR-2016-xxx, August 2016.
  5. Just-in-Time Static Analysis. [PDF] [Abstract] [BibTeX] Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill
    University of Alberta Technical Report doi:10.7939/DVN/10859, August 2016.
  6. Kizzle: A Signature Compiler for Exploit Kits. [PDF] [Abstract] [BibTeX] Ben Stock, Benjamin Livshits, and Benjamin Zorn
    International Conference on Dependable Systems and Networks (DSN), June 2016.
  7. Toward Full Elasticity in Distributed Static Analysis. [PDF] [Abstract] [BibTeX] Diego Garbervetsky, Edgardo Zoppi, Thomas Ball, and Benjamin Livshits
    Microsoft Research Technical Report MSR-TR-2015-88, March 2016.
  8. PrePose: Security and Privacy for Gesture-Based Programming. [PDF] [Abstract] [BibTeX] Lucas Silva Figueiredo, Benjamin Livshits, David Molnar, and Margus Veanes
    IEEE Symposium on Security and Privacy (Oakland Security), May 2016.
2015
  1. Toward a Just-in-Time Static Analysis. [PDF] [Abstract] [BibTeX] Lisa Nguyen Quang Do, Karim Ali, Eric Bodden and Benjamin Livshits
    Technical University of Darmstadt Technical Report TUD-CS-2015-1167, July 2015.
  2. Fast: a Transducer-Based Language for Tree Manipulation. [PDF] [Abstract] [BibTeX]
    Loris D'Antoni, Margus Veanes, Benjamin Livshits and David Molnar
    Transactions on Programming Languages and Systems (TOPLAS), 2015.
  3. Detecting JavaScript Races that Matter. [PDF] [Abstract] [BibTeX] Erdal Mutlu, Serdar Tasiran, and Benjamin Livshits
    Foundations of Software Engineering (FSE), September 2015.
  4. Detecting JavaScript Races that Matter. [PDF] [Abstract] [BibTeX]
    Erdal Mutlu, Serdar Tasiran, and Benjamin Livshits
    Microsoft Research Technical Report MSR-TR-2015-24, March 2015.
  5. SurroundWeb : Mitigating Privacy Concerns in a 3D Web Browser. [PDF] [Abstract] [BibTeX] John Vilk, David Molnar, Eyal Ofek, Chris Rossbach, Benjamin Livshits, Alexander Moshchuk, Helen J. Wang, and Ran Gal
    IEEE Symposium on Security and Privacy (Oakland Security), May 2015.
  6. InterPoll: Crowd-Sourced Internet Polls. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Todd Mytkowicz
    Summit On Advances In Programming Languages (SNAPL), May 2015.
  7. PriVaricator: Deceiving Fingerprinters with Little White Lies. [PDF] [Abstract] [BibTeX] Nick Nikiforakis, Wouter Joosen, and Benjamin Livshits
    International World Wide Web Conference (WWW), May 2015.
  8. Kizzle: A Signature Compiler for Exploit Kits. [PDF] [Abstract] [BibTeX]
    Ben Stock, Benjamin Livshits, and Benjamin Zorn
    Microsoft Research Technical Report, February 2015.
  9. In Defense of Soundiness: A Manifesto. [PDF] [Abstract] [BibTeX] Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondrej Lhoták, J. Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, and Dimitrios Vardoulakis
    Communications of the ACM (CACM), February 2015.
  10. Program Boosting: Program Synthesis via Crowd-Sourcing. [PDF] [Abstract] [BibTeX] Robert Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, and Margus Veanes
    Symposium on the Principles of Programming Languages (POPL), January 2015.
  11. Data Parallel String Manipulating Programs. [PDF] [Abstract] [BibTeX] Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits
    Symposium on the Principles of Programming Languages (POPL), January 2015.
2014
  1. SurroundWeb : Mitigating Privacy Concerns in a 3D Web Browser. [PDF] [Abstract] [BibTeX] John Vilk, David Molnar, Eyal Ofek, Chris Rossbach, Benjamin Livshits, Alexander Moshchuk, Helen J. Wang, and Ran Gal
    Microsoft Research Technical Report MSR-TR-2014-147, November 2014.
  2. PrePose: Security and Privacy for Gesture-Based Programming. [PDF] [Abstract] [BibTeX] Lucas Silva Figueiredo, Benjamin Livshits, David Molnar, and Margus Veanes
    Microsoft Research Technical Report MSR-TR-2014-146, November 2014.
  3. Optimizing Human Computation to Save Time and Money. [PDF] [Abstract] [BibTeX] Benjamin Livshits and George Kastrinis
    Microsoft Research Technical Report MSR-TR-2014-145, November 2014.
  4. Saving Money While Polling with InterPoll using Power Analysis. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Todd Mytkowicz
    Conference on Human Computation & Crowdsourcing (HCOMP 2014), November 2014.
  5. MoRePriv: Mobile OS Support for Application Personalization and Privacy. [PDF] [Abstract] [BibTeX]
    Drew Davidson, Matt Fredrikson, and Benjamin Livshits
    Annual Computer Security Applications Conference (ACSAC), December 2014.
  6. Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring. [PDF] [Abstract] [BibTeX] Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits
    Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2014), October 2014.
  7. Z0: An Optimizing Distributing Zero-Knowledge Compiler. [PDF] [Abstract] [BibTeX] Matt Fredrikson and Benjamin Livshits
    USENIX Security Symposium, August 2014.
  8. I Know It When I See It: Observable Races in JavaScript Applications (Position paper). [PDF] [Abstract] [BibTeX] Erdal Mutlu, Serdar Tasiran, and Benjamin Livshits
    Workshop on Dynamic Languages and Applications (DYLA) 2014, , June 2014.
  9. Web Application Security Special Issue. [PDF] [Abstract] [BibTeX]
    Lieven Desmet, Martin Johns, Benjamin Livshits and Andrei Sabelfeld
    Journal of Computer Security, Volume 22, Number 4 / 2014, May 2014.
  10. Saving Money While Polling with InterPoll using Power Analysis. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Todd Mytkowicz
    Microsoft Research Technical Report MSR-TR-2014-50, April 2014.
  11. PriVaricator: Deceiving Fingerprinters with Little White Lies. [PDF] [Abstract] [BibTeX] Nick Nikiforakis, Wouter Joosen, and Benjamin Livshits
    Microsoft Research Technical Report MSR-TR-2014-26, February 2014.
  12. I Know It When I See It: Observable Races in JavaScript Applications (Position paper). [PDF] [Abstract] [BibTeX] Erdal Mutlu, Serdar Tasiran, and Benjamin Livshits
    Microsoft Research Technical Report MSR-TR-2014-29, February 2014.
  13. SurroundWeb: Least Privilege for Immersive "Web Rooms". [PDF] [Abstract] [BibTeX] John Vilk, David Molnar, Eyal Ofek, Chris Rossbach, Benjamin Livshits, Alexander Moshchuk, Helen J. Wang, and Ran Gal
    Microsoft Research Technical Report MSR-TR-2014-25, February 2014.
  14. Z0: An Optimizing Distributing Zero-Knowledge Compiler. [PDF] [Abstract] [BibTeX] Matt Fredrikson and Benjamin Livshits
    Microsoft Research Technical Report MSR-TR-2014-27 (updated version of MSR-TR-2013-43), February 2014.
  15. Least Privilege Rendering in a 3D Web Browser. [PDF] [Abstract] [BibTeX] John Vilk, David Molnar, Eyal Ofek, Chris Rossbach, Benjamin Livshits, Alexander Moshchuk, Helen J. Wang, and Ran Gal
    Microsoft Research Technical Report MSR-TR-2014-25, February 2014.
  16. Fast: a Transducer-Based Language for Tree Manipulation. [PDF] [Abstract] [BibTeX] Loris D'Antoni, Margus Veanes, Benjamin Livshits and David Molnar
    Conference on Programming Language Design and Implementation (PLDI), June 2014.
  17. In Defense of Probabilistic Static Analysis. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Shuvendu Lahiri
    Workshop on Probabilistic and Approximate Computing (APPROX), June 2014.
  18. InterPoll: Crowd-Sourced Internet Polls (Done Right). [PDF] [Abstract] [BibTeX] Benjamin Livshits and Todd Mytkowicz
    Microsoft Research Technical Report MSR-TR-2014-3, January 2014.
  19. Let's Do It at My Place? Attitudinal and Behavioral Study of Privacy in Client-Side Personalization. [PDF] [Abstract] [BibTeX] Alfred Kobsa, Bart Knijnenburg, and Benjamin Livshits
    CHI Conference on Human Factors in Computing Systems Proceedings (CHI'14), April 2014.
2013
  1. Program Boosting or Crowd-Sourcing for Correctness. [PDF] [Abstract] [BibTeX] Robert Cochran, Loris D'Antoni, and Benjamin Livshits
    Microsoft Research Technical Report MSR-TR-2013-94, September 2013.
  2. Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries. [PDF] [Abstract] [BibTeX] Magnus Madsen, Benjamin Livshits, and Michael Fanning
    Foundations of Software Engineering (FSE), August 2013.
  3. Enabling fine-grained permissions for augmented reality applications with recognizers. [PDF] [Abstract] [BibTeX] Suman Jana, David Molnar, Alexander Moshchuk, Alan Dunn, Benjamin Livshits, Helen J. Wang, Eyal Ofek
    USENIX Security Symposium, August 2013.
  4. Automatic Mediation of Privacy-Sensitive Resource Access in Smartphone Applications. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Jaeyeon Jung
    USENIX Security Symposium, August 2013.
  5. Z0: An Optimizing Distributing Zero-Knowledge Compiler. [PDF] [Abstract] [BibTeX] Matthew Fredrikson and Benjamin Livshits
    Microsoft Research Technical Report MSR-TR-2013-43, April 2013.
  6. Operating System Support For Augmented Reality Applications. [PDF] [Abstract] [BibTeX] Loris D'Antoni, Alan Dunn, Suman Jana, Tadayoshi Kohno, Benjamin Livshits, David Molnar, Alex Moshchuk, Eyal Ofek, Franziska Roesner, Scott Saponas, Margus Veanes, and Helen J. Wang
    HotOS, May 2013.
  7. Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013: proceedings. [PDF] [Abstract] [BibTeX]
    Jan Jürjens(Editor), Benjamin Livshits (Editor), Riccardo Scandariato (Editor)
    March 2013.
  8. Web Application Security (Dagstuhl Seminar 12401). [PDF] [Abstract] [BibTeX] Lieven Desmet, Martin Johns, Benjamin Livshits, Andrei Sabelfeld
    Dagstuhl Reports, February 2013.
  9. Verifying Higher-order Programs with the Dijkstra Monad. [PDF] [Abstract] [BibTeX] Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen and Benjamin Livshits
    Conference on Programming Language Design and Implementation (PLDI), June 2013.
  10. Browser security: appearances can be deceiving. [PDF] [Abstract] [BibTeX] CACM Staff
    Communications of the ACM, January 2013.
  11. Towards Fully Automatic Placement of Security Sanitizers and Declassifiers. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Stephen Chong
    Symposium on the Principles of Programming Languages (POPL), January 2013.
  12. Fully Abstract Compilation to JavaScript. [PDF] [Abstract] [BibTeX] Cedric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub and Benjamin Livshits
    Symposium on the Principles of Programming Languages (POPL), January 2013.
2012
  1. FAST: A Transducer-Based Language for Tree Manipulation. [PDF] [Abstract] [BibTeX]
    Loris D'Antoni, Margus Veanes, Benjamin Livshits, and David Molnar
    Microsoft Research Technical Report MSR-TR-2012-123, November 2012.
  2. Dynamic Taint Tracking in Managed Runtimes. [PDF] [Abstract] [BibTeX]
    Benjamin Livshits
    Microsoft Research Technical Report MSR-TR-2012-114, November 2012.
  3. Data-Parallel String-Manipulating Programs. [PDF] [Abstract] [BibTeX] Margus Veanes, David Molnar, Todd Mytkowicz, and Benjamin Livshits
    Microsoft Research Technical Report MSR-TR-2012-72, July 2012.
  4. Towards Fully Automatic Placement of Security Sanitizers and Declassifiers. [PDF] [Abstract] [BibTeX]
    Benjamin Livshits and Stephen Chong
    Harvard University Technical Report TR-03-12, July 2012.
  5. Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries. [PDF] [Abstract] [BibTeX]
    Magnus Madsen, Benjamin Livshits, and Michael Fanning
    Microsoft Research Technical Report MSR-TR-2012-66, July 2012.
  6. MoRePriv: Mobile OS-Wide Application Personalization. [PDF] [Abstract] [BibTeX]
    Drew Davidson and Benjamin Livshits
    Microsoft Research Technical Report MSR-TR-2012-50, May 2012.
  7. Private Client-side Profiling with Random Forests and Hidden Markov Models. [PDF] [Abstract] [BibTeX]
    George Danezis, Markulf Kohlweiss, Benjamin Livshits, and Alfredo Rial
    Privacy Enhancing Technologies Symposium, July 2012.
  8. Monadic Refinement Types for Verifying JavaScript Programs. [PDF] [Abstract] [BibTeX]
    Nikhil Swamy, Joel Weinberger, Juan Chen, Ben Livshits, and Cole Schlesinger
    Microsoft Research Technical Report MSR-TR-2012-37, March 2012.
  9. Rozzle: De-Cloaking Internet Malware. [PDF] [Abstract] [BibTeX] Clemens Kolbitsch, Benjamin Livshits, Benjamin Zorn, and Christian Seifert
    IEEE Symposium on Security and Privacy (Oakland Security), May 2012.
  10. Engineering Secure Software and Systems: 4th International Symposium. [PDF] [Abstract] [BibTeX]
    Gilles Barthe (Editor), Ben Livshits (Editor), Riccardo Scandariato (Editor)
    March 2012.
  11. Symbolic Finite State Transducers: Algorithms and Applications. [PDF] [Abstract] [BibTeX] Nikolaj Bjorner, Pieter Hooimeijer, Benjamin Livshits, David Molnar, and Margus Veanes
    Symposium on the Principles of Programming Languages (POPL), January 2012.
2011
  1. Generating Fast String Manipulating Code Through Transducer Exploration and SIMD Integration. [PDF] [Abstract] [BibTeX]
    Margus Veanes, David Molnar, Benjamin Livshits, and Lubomir Litchev
    Microsoft Research Technical Report MSR-TR-2011-124, November 2011.
  2. ScriptGard: Automatic Context-Sensitive Sanitization for Large-Scale Legacy Web Applications. [PDF] [Abstract] [BibTeX] Prateek Saxena, David Molnar, and Benjamin Livshits
    Conference on Computer and Communications Security (CCS), November 2011.
  3. Towards Ensuring Client-Side Computational Integrity. [PDF] [Abstract] [BibTeX]
    George Danezis and Benjamin Livshits
    Conference on Computer and Communications Security (CCSW), November 2011.
  4. Rozzle: De-Cloaking Internet Malware. [PDF] [Abstract] [BibTeX] Clemens Kolbitsch, Benjamin Livshits, Benjamin Zorn, and Christian Seifert
    Microsoft Research Technical Report MSR-TR-2011-94, August 2011.
  5. Symbolic Finite State Transducers: Algorithms and Applications. [PDF] [Abstract] [BibTeX] Nikolaj Bjorner, Pieter Hooimeijer, Benjamin Livshits, David Molnar, and Margus Veanes
    Microsoft Research Technical Report MSR-TR-2011-85, July 2011.
  6. Mining Software Specifications: Methodologies and Applications. [PDF] [Abstract] [BibTeX] Two contributed book chapters in a book published by Chapman & Hall
  7. Zozzle: Low-overhead Mostly Static JavaScript Malware Detection. [PDF] [Abstract] [BibTeX] Charles Curtsinger, Benjamin Livshits, Benjamin Zorn, and Christian Seifert
    USENIX Security Symposium, August 2011.
  8. Fast and Precise Sanitizer Analysis With BEK. [PDF] [Abstract] [BibTeX] Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, and Margus Veanes
    USENIX Security Symposium, August 2011.
  9. Towards Enforceable Data-Driven Privacy Policies. [PDF] [Abstract] [BibTeX] Matthew Fredrikson, Benjamin Livshits, Somesh Jha, and Drew Davidson
    Web 2.0 Security and Privacy (W2SP), May 2011.
  10. RePriv: Re-Imagining Content Personalization and In-Browser Privacy. [PDF] [Abstract] [BibTeX] Matthew Fredrikson and Benjamin Livshits
    IEEE Symposium on Security and Privacy (Oakland Security), May 2011.
  11. Verified Security for Browser Extensions. [PDF] [Abstract] [BibTeX] Arjun Guha, Matthew Fredrikson, Benjamin Livshits, and Nikhil Swamy
    IEEE Symposium on Security and Privacy (Oakland Security), May 2011.
  12. "NOFUS: Automatically Detecting" + String.fromCharCode(32) + "ObFuSCateD ".toLowerCase() + "JavaScript Code". [PDF] [Abstract] [BibTeX] Scott Kaplan, Benjamin Livshits, Benjamin Zorn, Christian Seifert, and Charles Curtsinger
    Microsoft Research Technical Report MSR-TR-2011-57, May 2011.
  13. Decision Procedures for Composition and Equivalence of Symbolic Finite State Transducers. [PDF] [Abstract] [BibTeX] Margus Veanes, David Molnar, and Benjamin Livshits
    Microsoft Research Technical Report MSR-TR-2011-32, March 2011.
2010
  1. Verified Security for Browser Extensions. [PDF] [Abstract] [BibTeX] Nikhil Swamy, Benjamin Livshits, Arjun Guha, and Matthew Fredrikson
    Microsoft Research Technical Report MSR-TR-2010-157, November 2010.
  2. Zozzle: Low-overhead Mostly Static JavaScript Malware Detection. [PDF] [Abstract] [BibTeX] Charles Curtsinger, Benjamin Livshits, Benjamin Zorn, and Christian Seifert
    Microsoft Research Technical Report MSR-TR-2010-156, January 2010 (updated).
  3. Bek: Modeling Imperative String Operations with Symbolic Transducers. [PDF] [Abstract] [BibTeX] Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, and Margus Veanes
    Microsoft Research Technical Report MSR-TR-2010-154, November 2010.
  4. ScriptGard: Preventing Script Injection Attacks in Legacy Web Applications with Automatic Sanitization. [PDF] [Abstract] [BibTeX] Prateek Saxena, David Molnar, and Benjamin Livshits
    Microsoft Research Technical Report MSR-TR-2010-128, October 2010.
  5. AjaxScope: A Platform for Remotely Monitoring the Client-Side Behavior of Web 2.0 Applications. [PDF] [Abstract] [BibTeX] Emre Kiciman and Benjamin Livshits
    ACM Transactions on The Web, Vol. 4, No. 4, Article 13, September 2010.
  6. RePriv: Re-Envisioning In-Browser Privacy. [PDF] [Abstract] [BibTeX] Matthew Fredrikson and Benjamin Livshits
    Microsoft Research Technical Report MSR-TR-2010-116, August 2010.
  7. Dagstuhl Seminar 09141: Web Application Security (Executive summary). [PDF] [Abstract] [BibTeX] Dan Boneh, Ulfar Erlingsson, Martin Johns, and Benjamin Livshits
  8. Dagstuhl Seminar 09141: Web Application Security (Abstracts Collection). [PDF] [Abstract] [BibTeX] Dan Boneh, Ulfar Erlingsson, Martin Johns, and Benjamin Livshits
  9. Gulfstream: Incremental Static Analysis for Streaming JavaScript Applications. [PDF] [Abstract] [BibTeX] Salvatore Guarnieri and Benjamin Livshits
    USENIX Conference on Web Application Development (WebApps) , June 2010.
  10. JSMeter: Comparing the Behavior of JavaScript Benchmarks with Real Web Applications. [PDF] [Abstract] [BibTeX] Paruj Ratanaworabhan, Benjamin Livshits, and Benjamin Zorn
    USENIX Conference on Web Application Development (WebApps) , June 2010.
  11. JSZap: Compressing JavaScript Code [PDF] [Abstract] [BibTeX] Martin Burtscher, Benjamin Livshits, Gaurav Sinha, and Benjamin Zorn
    USENIX Conference on Web Application Development (WebApps) , June 2010.
  12. Fluxo: A System for Internet Service Programming by Non-expert Developers. [PDF] [Abstract] [BibTeX] Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi, and Kevin C. Webb
    ACM Symposium on Cloud Computing (SOCC) , June 2010.
  13. Empowering Browser Security for Mobile Devices Using Smart CDNs. [PDF] [Abstract] [BibTeX] Benjamin Livshits and David Molnar
    Workshop on Web 2.0 Security and Privacy (W2SP), May 2010.
  14. Secure Cooperative Sharing of JavaScript, Browser, and Physical Resources. [PDF] [Abstract] [BibTeX] Leo Meyerovich, David Zhu, and Benjamin Livshits
    Workshop on Web 2.0 Security and Privacy (W2SP), May 2010.
  15. ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser. [PDF] [Abstract] [BibTeX] Leo Meyerovich and Benjamin Livshits
    IEEE Symposium on Security and Privacy (Oakland Security), May 2010.
  16. JSZap: Compressing JavaScript Code. [PDF] [Abstract] [BibTeX] Martin Burtscher, Benjamin Livshits, Gaurav Sinha, and Benjamin G. Zorn
    Microsoft Research Technical Report MSR-TR-2010-21, March 2010.
  17. JSMeter: Characterizing Real-World Behavior of JavaScript Programs (short version). [PDF] [Abstract] [BibTeX] Paruj Ratanaworabhan, Benjamin Livshits, David Simmons, and Benjamin Zorn
    Microsoft Research Technical Report MSR-TR-2010-8, January 2010.
  18. Gulfstream: Incremental Static Analysis for Streaming JavaScript Applications. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Salvatore Guarnieri
    Microsoft Research Technical Report MSR-TR-2010-4, January 2010.
2009
  1. JSMeter: Characterizing Real-World Behavior of JavaScript Programs. [PDF] [Abstract] [BibTeX] Paruj Ratanaworabhan, Benjamin Livshits, David Simmons, and Benjamin Zorn
    Microsoft Research Technical Report MSR-TR-2009-173, December 2009.
  2. ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Leo Meyerovich
    Microsoft Research Technical Report MSR-TR-2009-158, February 2009.
  3. Ripley: Automatically Securing Web 2.0 Applications Through Replicated Execution. [PDF] [Abstract] [BibTeX] K. Vikram, Abhishek Prateek, and Benjamin Livshits
    Conference on Computer and Communications Security (CCS), November 2009.
  4. CatchAndRetry: Extending Exceptions to Handle Distributed System Failures and Recovery. [PDF] [Abstract] [BibTeX] Emre Kiciman, Benjamin Livshits, and Madanlal Musuvathi
    Programming Languages and Operating Systems (PLOS), October 2009.
  5. Gatekeeper: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code. [PDF] [Abstract] [BibTeX] Salvatore Guarnieri and Benjamin Livshits
    USENIX Security Symposium, August 2009.
  6. Nozzle: A Defense Against Heap-spraying Code Injection Attacks. [PDF] [Abstract] [BibTeX] Paruj Ratanaworabhan, Benjamin Livshits, and Benjamin Zorn
    USENIX Security Symposium, August 2009.
  7. Fluxo: A Simple Service Compiler. [PDF] [Abstract] [BibTeX] Emre Kiciman, Benjamin Livshits, and Madanlal Musuvathi
    Workshop on Hot Topics in Operating Systems, HotOS 2009, May 2009.
  8. Gatekeeper: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Salvatore Guarnieri
    Microsoft Research Technical Report MSR-TR-2009-16, February 2009.
  9. Merlin: Specification Inference for Explicit Information Flow Problems. [PDF] [Abstract] [BibTeX] Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, and Anindya Banerjee
    Conference on Programming Language Design and Implementation (PLDI) 2009, June 2009.
  10. Improving the Responsiveness of Interactive Internet Services with Automatic Cache Placement. [PDF] [Abstract] [BibTeX] Alex Rasmussen, Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi
    European Conference on Computer Systems (EuroSys) 2009, March 2009.
2008
  1. Merlin: Specification Inference for Explicit Information Flow Problems. [PDF] [Abstract] [BibTeX] Anindya Banerjee, Benjamin Livshits, Aditya V. Nori, and Sriram K. Rajamani
    Microsoft Research Technical Report MSR-TR-2008-xxx, December 2008.
  2. Nozzle: A Defense Against Heap-spraying Code Injection Attacks. [PDF] [Abstract] [BibTeX] Paruj Ratanaworabhan, Benjamin Livshits, and Benjamin Zorn
    Microsoft Research Technical Report MSR-TR-2008-176, November 2008.
  3. Ripley: Automatically Securing Distributed Web Applications Through Replicated Execution. [PDF] [Abstract] [BibTeX] Benjamin Livshits, Abhishek Prateek, and K. Vikram
    Microsoft Research Technical Report MSR-TR-2008-174, November 2008.
  4. Doloto: Code Splitting for Network-Bound Web 2.0 Applications. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Emre Kiciman
    Foundations of Software Engineering (FSE), November 2008.
  5. Volta: Developing Distributed Applications by Recompiling. [PDF] [Abstract] [BibTeX] Dragos Manolescu, Brian Beckman, and Benjamin Livshits
    IEEE Software, October 2008.
  6. Spectator: Detection and Containment of JavaScript Worms. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Weidong Cui
    USENIX Annual Technical Conference, June 2008.
  7. Securing Web Applications with Static and Dynamic Information Flow Tracking. [PDF] [Abstract] [BibTeX] Monica S. Lam, Michael Martin, Benjamin Livshits, and John Whaley
    In Workshop on Partial Evaluation and Program Manipulation, January 2008.
2007
  1. Doloto: Code Splitting for Network-Bound Web 2.0 Applications. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Emre Kiciman
    Microsoft Research Technical Report MSR-TR-2007-159, December 2007.
  2. AjaxScope: a Platform for Remotely Monitoring the Client-Side Behavior of Web 2.0 Applications. [PDF] [Abstract] [BibTeX] Emre Kiciman and Benjamin Livshits
    In Symposium of Operating System Principles (SOSP 2007), Stevenson, Washington, October 2007.
  3. Code Splitting for Network Bound Web 2.0 Applications. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Chen Ding
    Microsoft Research Technical Report MSR-TR-2007-101, August 2007.
  4. Spectator: Detection and Containment of JavaScript Worms. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Weidong Cui
    Microsoft Research Technical Report MSR-TR-2007-55, July 2007.
  5. Using Web Application Construction Frameworks To Protect Against Code Injection Attacks. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Ulfar Erlingsson
    In Workshop on Programming Languages and Analysis for Security (PLAS 2007), San Diego, California, June 2007.
  6. Towards Security By Construction For Web 2.0 Applications. [PDF] [Abstract] [BibTeX]
    Benjamin Livshits and Ulfar Erlingsson
    In Workshop on Web 2.0 Security and Privacy (W2SP 2007), May 2007.
  7. End-to-end Web Application Security. [PDF] [Abstract] [BibTeX] Ulfar Erlingsson, Benjamin Livshits, and Yinglian Xie
    In Workshop on Hot Topics in Operating Systems (HotOS XI), San Diego, California, May 2007.
  8. DynaMine: Finding Common Error Patterns by Mining Software Revision Histories. [PDF] [Abstract] [BibTeX]
    Benjamin Livshits and Thomas Zimmermann
    extended version of the FSE'05 paper currently under submission, February 2007.
2006
  1. Improving Software Security with Precise Static and Runtime Analysis. [PDF] [Abstract] [BibTeX] Benjamin Livshits, Doctoral dissertation
    Stanford University, Stanford, California, December, 2006.
  2. Mining Additions of Method Calls in ArgoUML. [PDF] [Abstract] [BibTeX] Thomas Zimmerman, Silvia Breu, Christian Lindig, and Benjamin Livshits.
    In International Workshop on Mining Software Repositories Challenge, Shanghai, China, May, 2006.
2005
  1. Reflection Analysis for Java. [PDF] [Abstract] [BibTeX]
    Benjamin Livshits, John Whaley, and Monica S. Lam
    A technical report, which represents an extended version of the paper below.
  2. Reflection Analysis for Java. [PDF] [Abstract] [BibTeX] Benjamin Livshits, John Whaley and Monica S. Lam
    In Third Asian Symposium on Programming Languages and Systems, Tsukuba, Japan, November, 2005.
  3. SecuriFly: Runtime Protection and Recovery from Web Application Vulnerabilities. [PDF] [Abstract] [BibTeX]
    Benjamin Livshits, Michael Martin, and Monica S. Lam
    A technical report, which describes the runtime system for vulnerability protection first described in the OOPSLA '05 paper.
  4. Finding Application Errors and Security Flaws Using PQL: a Program Query Language. [PDF] [Abstract] [BibTeX]
    Michael Martin, Benjamin Livshits, and Monica S. Lam
    In 20th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, San Diego, California, October 2005.
  5. DynaMine: Finding Common Error Patterns by Mining Software Revision Histories. [PDF] [Abstract] [BibTeX]
    Benjamin Livshits and Thomas Zimmermann
    In ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2005), Lisbon, Portugal, September 2005.
  6. Defining a Set of Common Benchmarks for Web Application Security. [PDF] [Abstract] [BibTeX]
    Benjamin Livshits
    Position paper on Stanford SecuriBench for the Workshop on Defining the State of the Art in Software Security Tools, Baltimore, August 2005.
  7. Finding Security Vulnerabilities in Java Applications with Static Analysis. [PDF] [Abstract] [BibTeX]
    Benjamin Livshits and Monica S. Lam
    A technical report, which represents an extended version of the paper above.
  8. Finding Security Vulnerabilities in Java Applications with Static Analysis. [PDF] [Abstract] [BibTeX]
    Benjamin Livshits and Monica S. Lam
    In Proceedings of the Usenix Security Symposium, Baltimore, Maryland, August 2005.
  9. Locating Matching Method Calls by Mining Revision History Data. [PDF] [Abstract] [BibTeX]
    Benjamin Livshits and Thomas Zimmermann
    In Proceedings of the Workshop on the Evaluation of Software Defect Detection Tools, Chicago, Illinois, June 2005.
  10. Context-Sensitive Program Analysis as Database Queries. [PDF] [Abstract] [BibTeX] Monica S. Lam, John Whaley, Benjamin Livshits, Michael Martin, Dzintars Avots, Michael Carbin, Christopher Unkel.
    In Proceedings of Principles of Database Systems (PODS), Baltimore, Maryland, June 2005.
  11. Improving Software Security with a C Pointer Analysis. [PDF] [Abstract] [BibTeX] Dzintars Avots, Michael Dalton, Benjamin Livshits, Monica S. Lam.
    In Proceedings of the 27th International Conference on Software Engineering (ICSE), May 2005
  12. Turning Eclipse Against Itself: Improving the Quality of Eclipse Plugins. [PDF] [Abstract] [BibTeX]
    Benjamin Livshits
    A technical report, which is an extended version of the paper above.
  13. Turning Eclipse Against Itself: Finding Bugs in Eclipse Code Using Lightweight Static Analysis. [PDF] [Abstract] [BibTeX] Benjamin Livshits
    In Eclipsecon '05 Research Exchange, March 2005.
    I maintain a page devoted to Checklipse, the tool described in the paper.
    14. 2004 and before
  14. Finding Security Errors in Java Applications Using Lightweight Static Analysis. [PDF] [Abstract] [BibTeX] Benjamin Livshits.
    In Annual Computer Security Applications Conference, Work-in-Progress Report, November 2004.
  15. Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs. [PDF] [Abstract] [BibTeX] Benjamin Livshits and Monica S. Lam
    In Proceedings of the 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, September 2003.