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
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c99]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- [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 - [i63]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) - [i62]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) - [i61]Wenhao Wang, Lulu Zhou, Aviv Yaish, Fan Zhang, Ben Fisch, Benjamin Livshits:
Mechanism Design for ZK-Rollup Prover Markets. CoRR abs/2404.06495 (2024) - [i60]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) - [i59]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) - [i58]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) - [i57]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) - [i56]Stefanos Chaliasos, Denis Firsov, Benjamin Livshits:
Towards a Formal Foundation for Blockchain Rollups. CoRR abs/2406.16219 (2024) - [i55]Aviv Yaish, Benjamin Livshits:
TierDrop: Harnessing Airdrop Farmers for User Growth. CoRR abs/2407.01176 (2024) - [i54]Maria Inês Silva, Johnnatan Messias, Benjamin Livshits:
A Public Dataset For the ZKsync Rollup. CoRR abs/2407.18699 (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]J