default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBenjamin Livshits
V. Benjamin Livshits – Ben Livshits
Person information
- affiliation: Imperial College, London, UK
- affiliation (former): Microsoft Research
SPARQL queries 
🛈 Please note that only 60% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c101]Stefanos Chaliasos, Itamar Reif, Adrià Torralba-Agell, Jens Ernstberger, Assimakis Kattis, Benjamin Livshits:
Analyzing and Benchmarking ZK-Rollups. AFT 2024: 6:1-6:24- [c100]Stefanos Chaliasos
, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, Benjamin Livshits:
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? ICSE 2024: 60:1-60:13 - [c99]Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, Michele Orrù:
zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs. SCN (1) 2024: 46-72 - [c98]Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, Benjamin Livshits:
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs. USENIX Security Symposium 2024 - [i64]Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, Benjamin Livshits:
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs. CoRR abs/2402.15293 (2024) - [i63]Krzysztof Gogol, Johnnatan Messias, Deborah Miori, Claudio J. Tessone, Benjamin Livshits:
Quantifying Arbitrage in Automated Market Makers: An Empirical Study of Ethereum ZK Rollups. CoRR abs/2403.16083 (2024) - [i62]Wenhao Wang, Lulu Zhou, Aviv Yaish, Fan Zhang, Ben Fisch, Benjamin Livshits:
Mechanism Design for ZK-Rollup Prover Markets. CoRR abs/2404.06495 (2024) - [i61]Krzysztof Gogol, Johnnatan Messias, Maria Inês Silva, Benjamin Livshits:
The Writing is on the Wall: Analyzing the Boom of Inscriptions and its Impact on Rollup Performance and Cost Efficiency. CoRR abs/2404.11189 (2024) - [i60]Marco Stronati, Denis Firsov, Antonio Locascio, Benjamin Livshits:
Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler. CoRR abs/2405.12115 (2024) - [i59]Johnnatan Messias, Krzysztof Gogol, Maria Inês Silva, Benjamin Livshits:
The Writing is on the Wall: Analyzing the Boom of Inscriptions and its Impact on EVM-compatible Blockchains. CoRR abs/2405.15288 (2024) - [i58]Krzysztof Gogol, Johnnatan Messias, Deborah Miori, Claudio J. Tessone, Benjamin Livshits:
Layer-2 Arbitrage: An Empirical Analysis of Swap Dynamics and Price Disparities on Rollups. CoRR abs/2406.02172 (2024) - [i57]Stefanos Chaliasos, Denis Firsov, Benjamin Livshits:
Towards a Formal Foundation for Blockchain Rollups. CoRR abs/2406.16219 (2024) - [i56]Aviv Yaish, Benjamin Livshits:
TierDrop: Harnessing Airdrop Farmers for User Growth. CoRR abs/2407.01176 (2024) - [i55]Maria Inês Silva, Johnnatan Messias, Benjamin Livshits:
A Public Dataset For the ZKsync Rollup. CoRR abs/2407.18699 (2024) - [i54]Luciano Freitas, Shashank Motepalli, Matej Pavlovic, Benjamin Livshits:
Rorqual: Speeding up Narwhal with TEEs. CoRR abs/2408.14099 (2024) - [i53]Denis Firsov, Benjamin Livshits:
The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation. IACR Cryptol. ePrint Arch. 2024: 768 (2024) - [i52]Stefanos Chaliasos, Itamar Reif, Adrià Torralba-Agell, Jens Ernstberger, Assimakis Kattis, Benjamin Livshits:
Analyzing and Benchmarking ZK-Rollups. IACR Cryptol. ePrint Arch. 2024: 889 (2024) - 2023
- [c97]Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, Arthur Gervais:
The Blockchain Imitation Game. USENIX Security Symposium 2023: 3961-3978 - [c96]Peter Snyder, Soroush Karami, Arthur Edelstein, Benjamin Livshits, Hamed Haddadi:
Pool-Party: Exploiting Browser Resource Pools for Web Tracking. USENIX Security Symposium 2023: 7091-7105 - [c95]Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Benjamin Livshits, Arthur Gervais:
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy. WWW 2023: 2022-2032 - [i51]Jiahua Xu, Daniel Perez, Yebo Feng, Benjamin Livshits:
Auto.gov: Learning-based On-chain Governance for Decentralized Finance (DeFi). CoRR abs/2302.09551 (2023) - [i50]Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, Arthur Gervais:
The Blockchain Imitation Game. CoRR abs/2303.17877 (2023) - [i49]Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, Ben Livshits:
Smart Contract and DeFi Security: Insights from Tool Evaluations and Practitioner Surveys. CoRR abs/2304.02981 (2023) - [i48]Gennady Medvinsky, Ben Livshits:
From Social Engineering to Quantum Threats: Safeguarding User Wallets with FailSafe. CoRR abs/2304.03387 (2023) - [i47]Shashank Motepalli, Luciano Freitas, Benjamin Livshits:
SoK: Decentralized Sequencers for Rollups. CoRR abs/2310.03616 (2023) - [i46]Johnnatan Messias, Aviv Yaish, Benjamin Livshits:
Airdrops: Giving Money Away Is Harder Than It Seems. CoRR abs/2312.02752 (2023) - [i45]Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Benjamin Livshits, Arthur Gervais:
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy. IACR Cryptol. ePrint Arch. 2023: 341 (2023) - [i44]Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, Michele Orrù:
zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs. IACR Cryptol. ePrint Arch. 2023: 1503 (2023) - 2022
- [j13]Stefanos Chaliasos, Arthur Gervais, Benjamin Livshits:
A study of inline assembly in solidity smart contracts. Proc. ACM Program. Lang. 6(OOPSLA2): 1123-1149 (2022) - [j12]Michael Smith, Peter Snyder, Moritz Haller, Benjamin Livshits, Deian Stefan, Hamed Haddadi:
Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites. Proc. Priv. Enhancing Technol. 2022(4): 6-23 (2022) - [c94]Alex Davidson, Peter Snyder, E. B. Quirk, Joseph Genereux, Benjamin Livshits, Hamed Haddadi:
STAR: Secret Sharing for Private Threshold Aggregation Reporting. CCS 2022: 697-710 - [c93]Matteo Varvello, Kleomenis Katevas, Mihai Plesa, Hamed Haddadi, Fabián E. Bustamante, Ben Livshits:
BatteryLab: A Collaborative Platform for Power Monitoring - https: //batterylab.dev. PAM 2022: 97-121 - [c92]Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos:
Finding typing compiler bugs. PLDI 2022: 183-198 - [c91]Jordan Jueckstock, Peter Snyder, Shaown Sarker, Alexandros Kapravelos, Benjamin Livshits:
Measuring the Privacy vs. Compatibility Trade-off in Preventing Third-Party Stateful Tracking. WWW 2022: 710-720 - [i43]Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Ben Livshits, Arthur Gervais:
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy. CoRR abs/2201.09035 (2022) - [i42]Matteo Varvello, Kleomenis Katevas, Mihai Plesa, Hamed Haddadi, Fabián E. Bustamante, Ben Livshits:
BatteryLab: A Collaborative Platform for Power Monitoring. CoRR abs/2201.12614 (2022) - [i41]Michael Smith, Peter Snyder, Moritz Haller, Benjamin Livshits, Deian Stefan, Hamed Haddadi:
Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites. CoRR abs/2203.03528 (2022) - 2021
- [j11]Iñigo Querejeta-Azurmendi, Panagiotis Papadopoulos, Matteo Varvello, Antonio Nappa, Jiexin Zhang, Benjamin Livshits:
ZKSENSE: A Friction-less Privacy-Preserving Human Attestation Mechanism for Mobile Devices. Proc. Priv. Enhancing Technol. 2021(4): 6-29 (2021) - [c90]Michael Smith, Peter Snyder, Benjamin Livshits, Deian Stefan:
SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking. CCS 2021: 2844-2857 - [c89]Kaihua Qin, Liyi Zhou, Benjamin Livshits, Arthur Gervais:
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit. Financial Cryptography (1) 2021: 3-32 - [c88]Daniel Perez, Sam M. Werner, Jiahua Xu, Benjamin Livshits:
Liquidations: DeFi on a Knife-Edge. Financial Cryptography (2) 2021: 457-476 - [c87]Matteo Varvello, Iñigo Querejeta-Azurmendi, Antonio Nappa, Panagiotis Papadopoulos, Goncalo Pestana, Benjamin Livshits:
VPN-Zero: A Privacy-Preserving Decentralized Virtual Private Network. Networking 2021: 1-6 - [c86]Lorenzo Minto, Moritz Haller, Benjamin Livshits, Hamed Haddadi:
Stronger Privacy for Federated Collaborative Filtering With Implicit Feedback. RecSys 2021: 342-350 - [c85]Liyi Zhou, Kaihua Qin, Antoine Cully, Benjamin Livshits, Arthur Gervais:
On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols. SP 2021: 919-936 - [c84]Quan Chen, Peter Snyder, Ben Livshits, Alexandros Kapravelos:
Detecting Filter List Evasion with Event-Loop-Turn Granularity JavaScript Signatures. SP 2021: 1715-1729 - [c83]Matteo Varvello, Benjamin Livshits:
Shedding (Some) Light on Mobile Browsers Energy Consumption. TMA 2021 - [c82]Daniel Perez, Benjamin Livshits:
Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited. USENIX Security Symposium 2021: 1325-1341 - [c81]Jordan Jueckstock, Shaown Sarker, Peter Snyder, Aidan Beggs, Panagiotis Papadopoulos, Matteo Varvello, Benjamin Livshits, Alexandros Kapravelos:
Towards Realistic and ReproducibleWeb Crawl Measurements. WWW 2021: 80-91 - [c80]Conor Kelton, Matteo Varvello, Andrius Aucinas, Ben Livshits:
BrowseLite: A Private Data Saving Solution for the Web. WWW 2021: 305-316 - [i40]Conor Kelton, Matteo Varvello, Andrius Aucinas, Benjamin Livshits:
Browselite: A Private Data Saving Solution for the Web. CoRR abs/2102.07864 (2021) - [i39]Liyi Zhou, Kaihua Qin, Antoine Cully, Benjamin Livshits, Arthur Gervais:
On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols. CoRR abs/2103.02228 (2021) - [i38]Lorenzo Minto, Moritz Haller, Hamed Haddadi, Benjamin Livshits:
Stronger Privacy for Federated Collaborative Filtering with Implicit Feedback. CoRR abs/2105.03941 (2021) - [i37]Gonçalo Pestana, Iñigo Querejeta-Azurmendi, Panagiotis Papadopoulos, Benjamin Livshits:
THEMIS: A Decentralized Privacy-Preserving Ad Platform with Reporting Integrity. CoRR abs/2106.01940 (2021) - [i36]Philipp Winter, Anna Harbluk Lorimer, Peter Snyder, Benjamin Livshits:
What's in Your Wallet? Privacy and Security Issues in Web 3.0. CoRR abs/2109.06836 (2021) - [i35]Muhammad Haris Mughees, Gonçalo Pestana, Alex Davidson, Benjamin Livshits:
PrivateFetch: Scalable Catalog Delivery in Privacy-Preserving Advertising. CoRR abs/2109.08189 (2021) - [i34]Alex Davidson, Peter Snyder, E. B. Quirk, Joseph Genereux, Benjamin Livshits:
STAR: Distributed Secret Sharing for Private Threshold Aggregation Reporting. CoRR abs/2109.10074 (2021) - [i33]Ceren Kocaogullar, Arthur Gervais, Benjamin Livshits:
Towards Private On-Chain Algorithmic Trading. CoRR abs/2109.11270 (2021) - [i32]Peter Snyder, Soroush Karami, Benjamin Livshits, Hamed Haddadi:
Pool-Party: Exploiting Browser Resource Pools as Side-Channels for Web Tracking. CoRR abs/2112.06324 (2021) - 2020
- [j10]Benjamin Livshits:
Technical perspective: Analyzing smart contracts with MadMax. Commun. ACM 63(10): 86 (2020) - [j9]Peter Snyder, Antoine Vastel, Ben Livshits:
Who Filters the Filters: Understanding the Growth, Usefulness and Efficiency of Crowdsourced Ad Blocking. Proc. ACM Meas. Anal. Comput. Syst. 4(2): 26:1-26:24 (2020) - [c79]Ruba Abu-Salma, Benjamin Livshits:
Evaluating the End-User Experience of Private Browsing Mode. CHI 2020: 1-12 - [c78]Lewis Gudgeon, Daniel Perez, Dominik Harz, Benjamin Livshits, Arthur Gervais:
The Decentralized Financial Crisis. CVCBT 2020: 1-15 - [c77]Daniel Perez, Jiahua Xu, Benjamin Livshits:
Revisiting Transactional Statistics of High-scalability Blockchains. Internet Measurement Conference 2020: 535-550 - [c76]Mohammad Malekzadeh, Dimitrios Athanasakis, Hamed Haddadi, Benjamin Livshits:
Privacy-Preserving Bandits. MLSys 2020 - [c75]Daniel Perez, Benjamin Livshits:
Broken Metre: Attacking Resource Metering in EVM. NDSS 2020 - [c74]Peter Snyder, Antoine Vastel, Ben Livshits:
Who Filters the Filters: Understanding the Growth, Usefulness and Efficiency of Crowdsourced Ad Blocking. SIGMETRICS (Abstracts) 2020: 75-76 - [c73]Umar Iqbal, Peter Snyder, Shitong Zhu, Benjamin Livshits, Zhiyun Qian, Zubair Shafiq:
AdGraph: A Graph-Based Approach to Ad and Tracker Blocking. SP 2020: 763-776 - [c72]Zain ul Abi Din, Panagiotis Tigas, Samuel T. King, Benjamin Livshits:
PERCIVAL: Making In-Browser Perceptual Ad Blocking Practical with Deep Learning. USENIX ATC 2020: 387-400 - [c71]Panagiotis Papadopoulos, Peter Snyder, Dimitrios Athanasakis, Benjamin Livshits:
Keeping out the Masses: Understanding the Popularity and Implications of Internet Paywalls. WWW 2020: 1433-1444 - [c70]Alexander Sjösten, Peter Snyder, Antonio Pastor, Panagiotis Papadopoulos, Benjamin Livshits:
Filter List Generation for Underserved Regions. WWW 2020: 1682-1692 - [i31]Lewis Gudgeon, Daniel Perez, Dominik Harz, Arthur Gervais, Benjamin Livshits:
The Decentralized Financial Crisis: Attacking DeFi. CoRR abs/2002.08099 (2020) - [i30]Daniel Perez, Jiahua Xu, Benjamin Livshits:
We Know What They've Been Put Through: Revisiting High-scalability Blockchain Transactions. CoRR abs/2003.02693 (2020) - [i29]Kaihua Qin, Liyi Zhou, Benjamin Livshits, Arthur Gervais:
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit. CoRR abs/2003.03810 (2020) - [i28]Quan Chen, Peter Snyder, Ben Livshits, Alexandros Kapravelos:
Improving Web Content Blocking With Event-Loop-Turn Granularity JavaScript Signatures. CoRR abs/2005.11910 (2020) - [i27]Gonçalo Pestana, Iñigo Querejeta-Azurmendi, Panagiotis Papadopoulos, Benjamin Livshits:
THEMIS: Decentralized and Trustless Ad Platform with Reporting Integrity. CoRR abs/2007.05556 (2020) - [i26]Matteo Varvello, Benjamin Livshits:
On the Battery Consumption of Mobile Browsers. CoRR abs/2009.03740 (2020) - [i25]Jordan Jueckstock, Peter Snyder, Shaown Sarker, Alexandros Kapravelos, Benjamin Livshits:
There's No Trick, Its Just a Simple Trick: A Web-Compat and Privacy Improving Approach to Third-party Web Storage. CoRR abs/2011.01267 (2020)
2010 – 2019
- 2019
- [j8]Brendan Avent, Aleksandra Korolova, David Zeber, Torgeir Hovden, Benjamin Livshits:
BLENDER: Enabling Local Search with a Hybrid Differential Privacy Model. J. Priv. Confidentiality 9(2) (2019) - [c69]Thodoris Sotiropoulos, Benjamin Livshits:
Static Analysis for Asynchronous JavaScript Programs. ECOOP 2019: 8:1-8:30 - [c68]Matteo Varvello, Kleomenis Katevas, Mihai Plesa, Hamed Haddadi, Benjamin Livshits:
BatteryLab, A Distributed Power Monitoring Platform For Mobile Devices. HotNets 2019: 101-108 - [c67]Matteo Varvello, Kleomenis Katevas, Wei Hang, Mihai Plesa, Hamed Haddadi, Fabián E. Bustamante, Benjamin Livshits:
BatteryLab, a distributed power monitoring platform for mobile devices: demo abstract. SenSys 2019: 386-387 - [c66]Aggelos Kiayias, Benjamin Livshits, Andrés Monteoliva Mosteiro, Orfeas Stefanos Thyfronitis Litos:
A Puff of Steem: Security Analysis of Decentralized Content Curation. Tokenomics 2019: 3:1-3:21 - [c65]Andrea Gadotti, Florimond Houssiau, Luc Rocher, Benjamin Livshits, Yves-Alexandre de Montjoye:
When the Signal is in the Noise: Exploiting Diffix's Sticky Noise. USENIX Security Symposium 2019: 1081-1098 - [c64]Jiahua Xu, Benjamin Livshits:
The Anatomy of a Cryptocurrency Pump-and-Dump Scheme. USENIX Security Symposium 2019: 1609-1625 - [c63]Mohammad Ghasemisharif, Peter Snyder, Andrius Aucinas, Benjamin Livshits:
SpeedReader: Reader Mode Made Fast and Private. WWW 2019: 526-537 - [i24]Thodoris Sotiropoulos, Benjamin Livshits:
Static Analysis for Asynchronous JavaScript Programs. CoRR abs/1901.03575 (2019) - [i23]Daniel Perez, Benjamin Livshits:
Smart Contract Vulnerabilities: Does Anyone Care? CoRR abs/1902.06710 (2019) - [i22]Panagiotis Papadopoulos, Peter Snyder, Benjamin Livshits:
Another Brick in the Paywall: The Popularity and Privacy Implications of Paywalls. CoRR abs/1903.01406 (2019) - [i21]Zain ul Abi Din, Panagiotis Tigas, Samuel T. King, Benjamin Livshits:
Percival: Making In-Browser Perceptual Ad Blocking Practical With Deep Learning. CoRR abs/1905.07444 (2019) - [i20]Jordan Jueckstock, Shaown Sarker, Peter Snyder, Panagiotis Papadopoulos, Matteo Varvello, Benjamin Livshits, Alexandros Kapravelos:
The Blind Men and the Internet: Multi-Vantage Point Web Measurements. CoRR abs/1905.08767 (2019) - [i19]Mohammad Malekzadeh, Dimitrios Athanasakis, Hamed Haddadi, Ben Livshits:
Privacy-Preserving Bandits. CoRR abs/1909.04421 (2019) - [i18]Daniel Perez, Benjamin Livshits:
Broken Metre: Attacking Resource Metering in EVM. CoRR abs/1909.07220 (2019) - [i17]Matteo Varvello, Iñigo Querejeta-Azurmendi, Antonio Nappa, Panagiotis Papadopoulos, Goncalo Pestana, Benjamin Livshits:
VPN0: A Privacy-Preserving Decentralized Virtual Private Network. CoRR abs/1910.00159 (2019) - [i16]Alexander Sjösten, Peter Snyder, Antonio Pastor, Panagiotis Papadopoulos, Benjamin Livshits:
Filter List Generation for Underserved Regions. CoRR abs/1910.07303 (2019) - [i15]Matteo Varvello, Kleomenis Katevas, Mihai Plesa, Hamed Haddadi, Benjamin Livshits:
BatteryLab, A Distributed Power Monitoring Platform For Mobile Devices. CoRR abs/1910.08951 (2019) - [i14]Panagiotis Papadopoulos, Iñigo Querejeta-Azurmendi, Jiexin Zhang, Matteo Varvello, Antonio Nappa, Benjamin Livshits:
ZKSENSE: a Privacy-Preserving Mechanism for Bot Detection in Mobile Devices. CoRR abs/1911.07649 (2019) - 2018
- [c62]Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey:
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. ATVA 2018: 513-520 - [c61]Cristian-Alexandru Staicu, Michael Pradel, Benjamin Livshits:
SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE.JS. NDSS 2018 - [i13]Omer Katz, Benjamin Livshits:
Toward an Evidence-based Design for Reactive Security Policies and Mechanisms. CoRR abs/1802.08915 (2018) - [i12]Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey:
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. CoRR abs/1805.07208 (2018) - [i11]Umar Iqbal, Zubair Shafiq, Peter Snyder, Shitong Zhu, Zhiyun Qian, Benjamin Livshits:
AdGraph: A Machine Learning Approach to Automatic and Effective Adblocking. CoRR abs/1805.09155 (2018) - [i10]Aggelos Kiayias, Benjamin Livshits, Andrés Monteoliva Mosteiro, Orfeas Stefanos Thyfronitis Litos:
A Puff of Steem: Security Analysis of Decentralized Content Curation. CoRR abs/1810.01719 (2018) - [i9]Antoine Vastel, Peter Snyder, Benjamin Livshits:
Who Filters the Filters: Understanding the Growth, Usefulness and Efficiency of Crowdsourced Ad Blocking. CoRR abs/1810.09160 (2018) - [i8]Mohammad Ghasemisharif, Peter Snyder, Andrius Aucinas, Benjamin Livshits:
SpeedReader: Reader Mode Made Fast and Private. CoRR abs/1811.03661 (2018) - [i7]Ruba Abu-Salma, Benjamin Livshits:
Evaluating the End-User Experience of Private Browsing Mode. CoRR abs/1811.08460 (2018) - [i6]Jiahua Xu, Benjamin Livshits:
The Anatomy of a Cryptocurrency Pump-and-Dump Scheme. CoRR abs/1811.10109 (2018) - 2017
- [j7]Lucas Silva Figueiredo, David Molnar, Margus Veanes, Benjamin Livshits:
Prepose: Privacy, Security, and Reliability for Gesture-Based Programming. IEEE Secur. Priv. 15(2): 14-23 (2017) - [c60]Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill:
Cheetah: just-in-time taint analysis for Android apps. ICSE (Companion Volume) 2017: 39-42 - [c59]Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill:
Just-in-time static analysis. ISSTA 2017: 307-317 - [c58]Diego Garbervetsky, Edgardo Zoppi, Benjamin Livshits:
Toward full elasticity in distributed static analysis: the case of callgraph analysis. ESEC/SIGSOFT FSE 2017: 442-453 - [c57]Brendan Avent, Aleksandra Korolova, David Zeber, Torgeir Hovden, Benjamin Livshits:
BLENDER: Enabling Local Search with a Hybrid Differential Privacy Model. USENIX Security Symposium 2017: 747-764 - [i5]Brendan Avent, Aleksandra Korolova, David Zeber, Torgeir Hovden, Benjamin Livshits:
BLENDER: Enabling Local Search with a Hybrid Differential Privacy Model. CoRR abs/1705.00831 (2017) - 2016
- [c56]Ben Stock, Benjamin Livshits, Benjamin G. Zorn:
Kizzle: A Signature Compiler for Detecting Exploit Kits. DSN 2016: 455-466 - [c55]Lucas Silva Figueiredo, Benjamin Livshits, David Molnar, Margus Veanes:
Prepose: Privacy, Security, and Reliability for Gesture-Based Programming. IEEE Symposium on Security and Privacy 2016: 122-137 - 2015
- [j6]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:
In defense of soundiness: a manifesto. Commun. ACM 58(2): 44-46 (2015) - [j5]Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar:
Fast: A Transducer-Based Language for Tree Manipulation. ACM Trans. Program. Lang. Syst. 38(1): 1:1-1:32 (2015) - [c54]Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits:
Data-Parallel String-Manipulating Programs. POPL 2015: 139-152 - [c53]Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes:
Program Boosting: Program Synthesis via Crowd-Sourcing. POPL 2015: 677-688 - [c52]Erdal Mutlu, Serdar Tasiran, Benjamin Livshits:
Detecting JavaScript races that matter. ESEC/SIGSOFT FSE 2015: 381-392 - [c51]Benjamin Livshits, Todd Mytkowicz:
InterPoll: Crowd-Sourced Internet Polls. SNAPL 2015: 156-176 - [c50]John Vilk, David Molnar, Benjamin Livshits, Eyal Ofek, Christopher J. Rossbach, Alexander Moshchuk, Helen J. Wang, Ran Gal:
SurroundWeb: Mitigating Privacy Concerns in a 3D Web Browser. IEEE Symposium on Security and Privacy 2015: 431-446 - [c49]Nick Nikiforakis, Wouter Joosen, Benjamin Livshits:
PriVaricator: Deceiving Fingerprinters with Little White Lies. WWW 2015: 820-830 - 2014
- [j4]Lieven Desmet, Martin Johns, Benjamin Livshits, Andrei Sabelfeld:
Preface. J. Comput. Secur. 22(4): 467-468 (2014) - [c48]Drew Davidson, Matt Fredrikson, Benjamin Livshits:
MoRePriv: mobile OS support for application personalization and privacy. ACSAC 2014: 236-245 - [c47]Alfred Kobsa, Bart P. Knijnenburg, Benjamin Livshits:
Let's do it at my place instead?: attitudinal and behavioral study of privacy in client-side personalization. CHI 2014: 81-90 - [c46]Benjamin Livshits, Todd Mytkowicz:
Saving Money While Polling with InterPoll Using Power Analysis. HCOMP 2014: 159-170 - [c45]Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits:
Automated migration of build scripts using dynamic analysis and search-based refactoring. OOPSLA 2014: 599-616 - [c44]Erdal Mutlu, Serdar Tasiran, Benjamin Livshits:
I Know It When I See It: Observable Races in JavaScript Applications. Dyla@PLDI 2014: 1:1-1:7 - [c43]Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar:
Fast: a transducer-based language for tree manipulation. PLDI 2014: 384-394 - [c42]Matthew Fredrikson, Benjamin Livshits:
ZØ: An Optimizing Distributing Zero-Knowledge Compiler. USENIX Security Symposium 2014: 909-924 - 2013
- [c41]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:
Operating System Support for Augmented Reality Applications. HotOS 2013 - [c40]Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits:
Verifying higher-order programs with the dijkstra monad. PLDI 2013: 387-398 - [c39]Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits:
Fully abstract compilation to JavaScript. POPL 2013: 371-384 - [c38]Benjamin Livshits, Stephen Chong:
Towards fully automatic placement of security sanitizers and declassifiers. POPL 2013: 385-398 - [c37]Magnus Madsen, Benjamin Livshits, Michael Fanning:
Practical static analysis of JavaScript applications in the presence of frameworks and libraries. ESEC/SIGSOFT FSE 2013: 499-509 - [c36]Benjamin Livshits, Jaeyeon Jung:
Automatic Mediation of Privacy-Sensitive Resource Access in Smartphone Applications. USENIX Security Symposium 2013: 113-130 - [c35]Suman Jana, David Molnar, Alexander Moshchuk, Alan M. Dunn, Benjamin Livshits, Helen J. Wang, Eyal Ofek:
Enabling Fine-Grained Permissions for Augmented Reality Applications with Recognizers. USENIX Security Symposium 2013: 415-430 - [e3]Jan Jürjens, Benjamin Livshits, Riccardo Scandariato:
Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings. Lecture Notes in Computer Science 7781, Springer 2013, ISBN 978-3-642-36562-1 [contents] - 2012
- [j3]Jeremiah Grossman, Ben Livshits, Rebecca Gurley Bace, George V. Neville-Neil:
Browser Security Case Study: Appearances Can Be Deceiving. ACM Queue 10(11): 30 (2012) - [c34]Benjamin Livshits:
Finding Malware on a Web Scale. MMM-ACNS 2012: 1-2 - [c33]George Danezis, Markulf Kohlweiss, Benjamin Livshits, Alfredo Rial:
Private Client-Side Profiling with Random Forests and Hidden Markov Models. Privacy Enhancing Technologies 2012: 18-37 - [c32]Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj S. Bjørner:
Symbolic finite state transducers: algorithms and applications. POPL 2012: 137-150 - [c31]Clemens Kolbitsch, Benjamin Livshits, Benjamin G. Zorn, Christian Seifert:
Rozzle: De-cloaking Internet Malware. IEEE Symposium on Security and Privacy 2012: 443-457 - [e2]Gilles Barthe, Benjamin Livshits, Riccardo Scandariato:
Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Lecture Notes in Computer Science 7159, Springer 2012, ISBN 978-3-642-28165-5 [contents] - [i4]Lieven Desmet, Martin Johns, Benjamin Livshits, Andrei Sabelfeld:
Web Application Security (Dagstuhl Seminar 12401). Dagstuhl Reports 2(10): 1-37 (2012) - 2011
- [c30]George Danezis, Benjamin Livshits:
Towards ensuring client-side computational integrity. CCSW 2011: 125-130 - [c29]Prateek Saxena, David Molnar, Benjamin Livshits:
SCRIPTGARD: automatic context-sensitive sanitization for large-scale legacy web applications. CCS 2011: 601-614 - [c28]Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy:
Verified Security for Browser Extensions. IEEE Symposium on Security and Privacy 2011: 115-130 - [c27]Matthew Fredrikson, Benjamin Livshits:
RePriv: Re-imagining Content Personalization and In-browser Privacy. IEEE Symposium on Security and Privacy 2011: 131-146 - [c26]Charlie Curtsinger, Benjamin Livshits, Benjamin G. Zorn, Christian Seifert:
ZOZZLE: Fast and Precise In-Browser JavaScript Malware Detection. USENIX Security Symposium 2011 - [c25]Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes:
Fast and Precise Sanitizer Analysis with BEK. USENIX Security Symposium 2011 - 2010
- [j2]Emre Kiciman, V. Benjamin Livshits:
AjaxScope: A Platform for Remotely Monitoring the Client-Side Behavior of Web 2.0 Applications. ACM Trans. Web 4(4): 13:1-13:52 (2010) - [c24]Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi, Kevin C. Webb:
Fluxo: a system for internet service programming by non-expert developers. SoCC 2010: 107-118 - [c23]Leo A. Meyerovich, V. Benjamin Livshits:
ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser. IEEE Symposium on Security and Privacy 2010: 481-496 - [c22]Paruj Ratanaworabhan, Benjamin Livshits, Benjamin G. Zorn:
JSMeter: Comparing the Behavior of JavaScript Benchmarks with Real Web Applications. WebApps 2010
2000 – 2009
- 2009
- [c21]K. Vikram, Abhishek Prateek, V. Benjamin Livshits:
Ripley: automatically securing web 2.0 applications through replicated execution. CCS 2009: 173-186 - [c20]Alexander Rasmussen, Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi:
Improving the responsiveness of internet services with automatic cache placement. EuroSys 2009: 27-32 - [c19]Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi:
FLUXO: A Simple Service Compiler. HotOS 2009 - [c18]V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee:
Merlin: specification inference for explicit information flow problems. PLDI 2009: 75-86 - [c17]Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi:
CatchAndRetry: extending exceptions to handle distributed system failures and recovery. PLOS@SOSP 2009: 4:1-4:5 - [c16]Salvatore Guarnieri, V. Benjamin Livshits:
GATEKEEPER: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code. USENIX Security Symposium 2009: 151-168 - [c15]Paruj Ratanaworabhan, V. Benjamin Livshits, Benjamin G. Zorn:
NOZZLE: A Defense Against Heap-spraying Code Injection Attacks. USENIX Security Symposium 2009: 169-186 - [e1]Dan Boneh, Úlfar Erlingsson, Martin Johns, Benjamin Livshits:
Web Application Security, 29.03. - 03.04.2009. Dagstuhl Seminar Proceedings 09141, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i3]Dan Boneh, Úlfar Erlingsson, Martin Johns, Benjamin Livshits:
09141 Abstracts Collection - Web Application Security. Web Application Security 2009 - [i2]Dan Boneh, Úlfar Erlingsson, Martin Johns, Benjamin Livshits:
09141 Executive Summary - Web Application Security. Web Application Security 2009 - 2008
- [j1]Dragos Manolescu, Brian Beckman, V. Benjamin Livshits:
Volta: Developing Distributed Applications by Recompiling. IEEE Softw. 25(5): 53-59 (2008) - [c14]Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley:
Securing web applications with static and dynamic information flow tracking. PEPM 2008: 3-12 - [c13]V. Benjamin Livshits, Emre Kiciman:
Doloto: code splitting for network-bound web 2.0 applications. SIGSOFT FSE 2008: 350-360 - [c12]V. Benjamin Livshits, Weidong Cui:
Spectator: Detection and Containment of JavaScript Worms. USENIX ATC 2008: 335-348 - 2007
- [b1]Benjamin Livshits:
Improving software insecurity with precise static and runtime analysis. Stanford University, USA, 2007 - [c11]Úlfar Erlingsson, V. Benjamin Livshits, Yinglian Xie:
End-to-End Web Application Security. HotOS 2007 - [c10]V. Benjamin Livshits, Úlfar Erlingsson:
Using web application construction frameworks to protect against code injection attacks. PLAS 2007: 95-104 - [c9]Emre Kiciman, V. Benjamin Livshits:
AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications. SOSP 2007: 17-30 - 2006
- [c8]Thomas Zimmermann, Silvia Breu, Christian Lindig, V. Benjamin Livshits:
Mining additions of method calls in ArgoUML. MSR 2006: 169-170 - [i1]Silvia Breu, Thomas Zimmermann, Christian Lindig, V. Benjamin Livshits:
Mining Additions of Method Calls in ArgoUML. Aspects For Legacy Applications 2006 - 2005
- [c7]V. Benjamin Livshits, John Whaley, Monica S. Lam:
Reflection Analysis for Java. APLAS 2005: 139-160 - [c6]Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam:
Improving software security with a C pointer analysis. ICSE 2005: 332-341 - [c5]Michael C. Martin, V. Benjamin Livshits, Monica S. Lam:
Finding application errors and security flaws using PQL: a program query language. OOPSLA 2005: 365-383 - [c4]Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel:
Context-sensitive program analysis as database queries. PODS 2005: 1-12 - [c3]V. Benjamin Livshits, Thomas Zimmermann:
DynaMine: finding common error patterns by mining software revision histories. ESEC/SIGSOFT FSE 2005: 296-305 - [c2]V. Benjamin Livshits, Monica S. Lam:
Finding Security Vulnerabilities in Java Applications with Static Analysis. USENIX Security Symposium 2005 - 2003
- [c1]V. Benjamin Livshits, Monica S. Lam:
Tracking pointers with path and context sensitivity for bug detection in C programs. ESEC / SIGSOFT FSE 2003: 317-326
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
