default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Benjamin Livshits
@inproceedings{DBLP:conf/aft/ChaliasosRTEKL24,
author = {Stefanos Chaliasos and
Itamar Reif and
Adri{\`{a}} Torralba{-}Agell and
Jens Ernstberger and
Assimakis Kattis and
Benjamin Livshits},
editor = {Rainer B{\"{o}}hme and
Lucianna Kiffer},
title = {Analyzing and Benchmarking ZK-Rollups},
booktitle = {6th Conference on Advances in Financial Technologies, {AFT} 2024,
September 23-25, 2024, Vienna, Austria},
series = {LIPIcs},
volume = {316},
pages = {6:1--6:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.AFT.2024.6},
doi = {10.4230/LIPICS.AFT.2024.6},
timestamp = {Mon, 16 Sep 2024 17:07:54 +0200},
biburl = {https://dblp.org/rec/conf/aft/ChaliasosRTEKL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChaliasosCZGGML24,
author = {Stefanos Chaliasos and
Marcos Antonios Charalambous and
Liyi Zhou and
Rafaila Galanopoulou and
Arthur Gervais and
Dimitris Mitropoulos and
Benjamin Livshits},
title = {Smart Contract and DeFi Security Tools: Do They Meet the Needs of
Practitioners?},
booktitle = {Proceedings of the 46th {IEEE/ACM} International Conference on Software
Engineering, {ICSE} 2024, Lisbon, Portugal, April 14-20, 2024},
pages = {60:1--60:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3597503.3623302},
doi = {10.1145/3597503.3623302},
timestamp = {Mon, 24 Jun 2024 15:20:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChaliasosCZGGML24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scn/ErnstbergerCKSJGLO24,
author = {Jens Ernstberger and
Stefanos Chaliasos and
George Kadianakis and
Sebastian Steinhorst and
Philipp Jovanovic and
Arthur Gervais and
Benjamin Livshits and
Michele Orr{\`{u}}},
editor = {Clemente Galdi and
Duong Hieu Phan},
title = {zk-Bench: {A} Toolset for Comparative Evaluation and Performance Benchmarking
of SNARKs},
booktitle = {Security and Cryptography for Networks - 14th International Conference,
{SCN} 2024, Amalfi, Italy, September 11-13, 2024, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {14973},
pages = {46--72},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71070-4\_3},
doi = {10.1007/978-3-031-71070-4\_3},
timestamp = {Wed, 18 Sep 2024 20:54:03 +0200},
biburl = {https://dblp.org/rec/conf/scn/ErnstbergerCKSJGLO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/ChaliasosETWJL24,
author = {Stefanos Chaliasos and
Jens Ernstberger and
David Theodore and
David Wong and
Mohammad Jahanara and
Benjamin Livshits},
editor = {Davide Balzarotti and
Wenyuan Xu},
title = {SoK: What don't we know? Understanding Security Vulnerabilities in
SNARKs},
booktitle = {33rd {USENIX} Security Symposium, {USENIX} Security 2024, Philadelphia,
PA, USA, August 14-16, 2024},
publisher = {{USENIX} Association},
year = {2024},
url = {https://www.usenix.org/conference/usenixsecurity24/presentation/chaliasos},
timestamp = {Mon, 22 Jul 2024 17:10:49 +0200},
biburl = {https://dblp.org/rec/conf/uss/ChaliasosETWJL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-15293,
author = {Stefanos Chaliasos and
Jens Ernstberger and
David Theodore and
David Wong and
Mohammad Jahanara and
Benjamin Livshits},
title = {SoK: What don't we know? Understanding Security Vulnerabilities in
SNARKs},
journal = {CoRR},
volume = {abs/2402.15293},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.15293},
doi = {10.48550/ARXIV.2402.15293},
eprinttype = {arXiv},
eprint = {2402.15293},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-15293.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-16083,
author = {Krzysztof Gogol and
Johnnatan Messias and
Deborah Miori and
Claudio J. Tessone and
Benjamin Livshits},
title = {Quantifying Arbitrage in Automated Market Makers: An Empirical Study
of Ethereum {ZK} Rollups},
journal = {CoRR},
volume = {abs/2403.16083},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.16083},
doi = {10.48550/ARXIV.2403.16083},
eprinttype = {arXiv},
eprint = {2403.16083},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-16083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-06495,
author = {Wenhao Wang and
Lulu Zhou and
Aviv Yaish and
Fan Zhang and
Ben Fisch and
Benjamin Livshits},
title = {Mechanism Design for ZK-Rollup Prover Markets},
journal = {CoRR},
volume = {abs/2404.06495},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.06495},
doi = {10.48550/ARXIV.2404.06495},
eprinttype = {arXiv},
eprint = {2404.06495},
timestamp = {Mon, 22 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-06495.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-11189,
author = {Krzysztof Gogol and
Johnnatan Messias and
Maria In{\^{e}}s Silva and
Benjamin Livshits},
title = {The Writing is on the Wall: Analyzing the Boom of Inscriptions and
its Impact on Rollup Performance and Cost Efficiency},
journal = {CoRR},
volume = {abs/2404.11189},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.11189},
doi = {10.48550/ARXIV.2404.11189},
eprinttype = {arXiv},
eprint = {2404.11189},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-11189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-12115,
author = {Marco Stronati and
Denis Firsov and
Antonio Locascio and
Benjamin Livshits},
title = {Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving
Optimizing Compiler},
journal = {CoRR},
volume = {abs/2405.12115},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.12115},
doi = {10.48550/ARXIV.2405.12115},
eprinttype = {arXiv},
eprint = {2405.12115},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-12115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-15288,
author = {Johnnatan Messias and
Krzysztof Gogol and
Maria In{\^{e}}s Silva and
Benjamin Livshits},
title = {The Writing is on the Wall: Analyzing the Boom of Inscriptions and
its Impact on EVM-compatible Blockchains},
journal = {CoRR},
volume = {abs/2405.15288},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.15288},
doi = {10.48550/ARXIV.2405.15288},
eprinttype = {arXiv},
eprint = {2405.15288},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-15288.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-02172,
author = {Krzysztof Gogol and
Johnnatan Messias and
Deborah Miori and
Claudio J. Tessone and
Benjamin Livshits},
title = {Layer-2 Arbitrage: An Empirical Analysis of Swap Dynamics and Price
Disparities on Rollups},
journal = {CoRR},
volume = {abs/2406.02172},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.02172},
doi = {10.48550/ARXIV.2406.02172},
eprinttype = {arXiv},
eprint = {2406.02172},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-02172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-16219,
author = {Stefanos Chaliasos and
Denis Firsov and
Benjamin Livshits},
title = {Towards a Formal Foundation for Blockchain Rollups},
journal = {CoRR},
volume = {abs/2406.16219},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.16219},
doi = {10.48550/ARXIV.2406.16219},
eprinttype = {arXiv},
eprint = {2406.16219},
timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-16219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-01176,
author = {Aviv Yaish and
Benjamin Livshits},
title = {TierDrop: Harnessing Airdrop Farmers for User Growth},
journal = {CoRR},
volume = {abs/2407.01176},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.01176},
doi = {10.48550/ARXIV.2407.01176},
eprinttype = {arXiv},
eprint = {2407.01176},
timestamp = {Fri, 09 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-01176.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-18699,
author = {Maria In{\^{e}}s Silva and
Johnnatan Messias and
Benjamin Livshits},
title = {A Public Dataset For the ZKsync Rollup},
journal = {CoRR},
volume = {abs/2407.18699},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.18699},
doi = {10.48550/ARXIV.2407.18699},
eprinttype = {arXiv},
eprint = {2407.18699},
timestamp = {Sat, 24 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-18699.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/FirsovL24,
author = {Denis Firsov and
Benjamin Livshits},
title = {The Ouroboros of {ZK:} Why Verifying the Verifier Unlocks Longer-Term
{ZK} Innovation},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {768},
year = {2024},
url = {https://eprint.iacr.org/2024/768},
timestamp = {Wed, 29 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/FirsovL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ChaliasosRTEKL24,
author = {Stefanos Chaliasos and
Itamar Reif and
Adri{\`{a}} Torralba{-}Agell and
Jens Ernstberger and
Assimakis Kattis and
Benjamin Livshits},
title = {Analyzing and Benchmarking ZK-Rollups},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {889},
year = {2024},
url = {https://eprint.iacr.org/2024/889},
timestamp = {Mon, 01 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/ChaliasosRTEKL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/QinCZLSG23,
author = {Kaihua Qin and
Stefanos Chaliasos and
Liyi Zhou and
Benjamin Livshits and
Dawn Song and
Arthur Gervais},
editor = {Joseph A. Calandrino and
Carmela Troncoso},
title = {The Blockchain Imitation Game},
booktitle = {32nd {USENIX} Security Symposium, {USENIX} Security 2023, Anaheim,
CA, USA, August 9-11, 2023},
pages = {3961--3978},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/usenixsecurity23/presentation/qin},
timestamp = {Wed, 18 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uss/QinCZLSG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/SnyderKELH23,
author = {Peter Snyder and
Soroush Karami and
Arthur Edelstein and
Benjamin Livshits and
Hamed Haddadi},
editor = {Joseph A. Calandrino and
Carmela Troncoso},
title = {Pool-Party: Exploiting Browser Resource Pools for Web Tracking},
booktitle = {32nd {USENIX} Security Symposium, {USENIX} Security 2023, Anaheim,
CA, USA, August 9-11, 2023},
pages = {7091--7105},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/usenixsecurity23/presentation/snyder},
timestamp = {Wed, 18 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uss/SnyderKELH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/WangCQZGBLG23,
author = {Zhipeng Wang and
Stefanos Chaliasos and
Kaihua Qin and
Liyi Zhou and
Lifeng Gao and
Pascal Berrang and
Benjamin Livshits and
Arthur Gervais},
editor = {Ying Ding and
Jie Tang and
Juan F. Sequeda and
Lora Aroyo and
Carlos Castillo and
Geert{-}Jan Houben},
title = {On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen
User Privacy},
booktitle = {Proceedings of the {ACM} Web Conference 2023, {WWW} 2023, Austin,
TX, USA, 30 April 2023 - 4 May 2023},
pages = {2022--2032},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3543507.3583217},
doi = {10.1145/3543507.3583217},
timestamp = {Mon, 28 Aug 2023 21:17:10 +0200},
biburl = {https://dblp.org/rec/conf/www/WangCQZGBLG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-09551,
author = {Jiahua Xu and
Daniel Perez and
Yebo Feng and
Benjamin Livshits},
title = {Auto.gov: Learning-based On-chain Governance for Decentralized Finance
(DeFi)},
journal = {CoRR},
volume = {abs/2302.09551},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.09551},
doi = {10.48550/ARXIV.2302.09551},
eprinttype = {arXiv},
eprint = {2302.09551},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-09551.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-17877,
author = {Kaihua Qin and
Stefanos Chaliasos and
Liyi Zhou and
Benjamin Livshits and
Dawn Song and
Arthur Gervais},
title = {The Blockchain Imitation Game},
journal = {CoRR},
volume = {abs/2303.17877},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.17877},
doi = {10.48550/ARXIV.2303.17877},
eprinttype = {arXiv},
eprint = {2303.17877},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-17877.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-02981,
author = {Stefanos Chaliasos and
Marcos Antonios Charalambous and
Liyi Zhou and
Rafaila Galanopoulou and
Arthur Gervais and
Dimitris Mitropoulos and
Ben Livshits},
title = {Smart Contract and DeFi Security: Insights from Tool Evaluations and
Practitioner Surveys},
journal = {CoRR},
volume = {abs/2304.02981},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.02981},
doi = {10.48550/ARXIV.2304.02981},
eprinttype = {arXiv},
eprint = {2304.02981},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-02981.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-03387,
author = {Gennady Medvinsky and
Ben Livshits},
title = {From Social Engineering to Quantum Threats: Safeguarding User Wallets
with FailSafe},
journal = {CoRR},
volume = {abs/2304.03387},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.03387},
doi = {10.48550/ARXIV.2304.03387},
eprinttype = {arXiv},
eprint = {2304.03387},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-03387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-03616,
author = {Shashank Motepalli and
Luciano Freitas and
Benjamin Livshits},
title = {SoK: Decentralized Sequencers for Rollups},
journal = {CoRR},
volume = {abs/2310.03616},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.03616},
doi = {10.48550/ARXIV.2310.03616},
eprinttype = {arXiv},
eprint = {2310.03616},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-03616.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-02752,
author = {Johnnatan Messias and
Aviv Yaish and
Benjamin Livshits},
title = {Airdrops: Giving Money Away Is Harder Than It Seems},
journal = {CoRR},
volume = {abs/2312.02752},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.02752},
doi = {10.48550/ARXIV.2312.02752},
eprinttype = {arXiv},
eprint = {2312.02752},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-02752.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/WangCQZGBLG23,
author = {Zhipeng Wang and
Stefanos Chaliasos and
Kaihua Qin and
Liyi Zhou and
Lifeng Gao and
Pascal Berrang and
Benjamin Livshits and
Arthur Gervais},
title = {On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen
User Privacy},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {341},
year = {2023},
url = {https://eprint.iacr.org/2023/341},
timestamp = {Fri, 31 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/WangCQZGBLG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ErnstbergerCKSJGLO23,
author = {Jens Ernstberger and
Stefanos Chaliasos and
George Kadianakis and
Sebastian Steinhorst and
Philipp Jovanovic and
Arthur Gervais and
Benjamin Livshits and
Michele Orr{\`{u}}},
title = {zk-Bench: {A} Toolset for Comparative Evaluation and Performance Benchmarking
of SNARKs},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1503},
year = {2023},
url = {https://eprint.iacr.org/2023/1503},
timestamp = {Sat, 07 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/ErnstbergerCKSJGLO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChaliasosGL22,
author = {Stefanos Chaliasos and
Arthur Gervais and
Benjamin Livshits},
title = {A study of inline assembly in solidity smart contracts},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {1123--1149},
year = {2022},
url = {https://doi.org/10.1145/3563328},
doi = {10.1145/3563328},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ChaliasosGL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/SmithSHLSH22,
author = {Michael Smith and
Peter Snyder and
Moritz Haller and
Benjamin Livshits and
Deian Stefan and
Hamed Haddadi},
title = {Blocked or Broken? Automatically Detecting When Privacy Interventions
Break Websites},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2022},
number = {4},
pages = {6--23},
year = {2022},
url = {https://doi.org/10.56553/popets-2022-0096},
doi = {10.56553/POPETS-2022-0096},
timestamp = {Fri, 30 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/popets/SmithSHLSH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/DavidsonSQGLH22,
author = {Alex Davidson and
Peter Snyder and
E. B. Quirk and
Joseph Genereux and
Benjamin Livshits and
Hamed Haddadi},
editor = {Heng Yin and
Angelos Stavrou and
Cas Cremers and
Elaine Shi},
title = {{STAR:} Secret Sharing for Private Threshold Aggregation Reporting},
booktitle = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2022, Los Angeles, CA, USA, November
7-11, 2022},
pages = {697--710},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3548606.3560631},
doi = {10.1145/3548606.3560631},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/DavidsonSQGLH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pam/VarvelloKPHBL22,
author = {Matteo Varvello and
Kleomenis Katevas and
Mihai Plesa and
Hamed Haddadi and
Fabi{\'{a}}n E. Bustamante and
Ben Livshits},
editor = {Oliver Hohlfeld and
Giovane Cesar Moreira Moura and
Cristel Pelsser},
title = {BatteryLab: {A} Collaborative Platform for Power Monitoring - https:
//batterylab.dev},
booktitle = {Passive and Active Measurement - 23rd International Conference, {PAM}
2022, Virtual Event, March 28-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13210},
pages = {97--121},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-98785-5\_5},
doi = {10.1007/978-3-030-98785-5\_5},
timestamp = {Wed, 16 Aug 2023 21:16:31 +0200},
biburl = {https://dblp.org/rec/conf/pam/VarvelloKPHBL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChaliasosSSGLM22,
author = {Stefanos Chaliasos and
Thodoris Sotiropoulos and
Diomidis Spinellis and
Arthur Gervais and
Benjamin Livshits and
Dimitris Mitropoulos},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Finding typing compiler bugs},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {183--198},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523427},
doi = {10.1145/3519939.3523427},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChaliasosSSGLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/JueckstockSSKL22,
author = {Jordan Jueckstock and
Peter Snyder and
Shaown Sarker and
Alexandros Kapravelos and
Benjamin Livshits},
editor = {Fr{\'{e}}d{\'{e}}rique Laforest and
Rapha{\"{e}}l Troncy and
Elena Simperl and
Deepak Agarwal and
Aristides Gionis and
Ivan Herman and
Lionel M{\'{e}}dini},
title = {Measuring the Privacy vs. Compatibility Trade-off in Preventing Third-Party
Stateful Tracking},
booktitle = {{WWW} '22: The {ACM} Web Conference 2022, Virtual Event, Lyon, France,
April 25 - 29, 2022},
pages = {710--720},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3485447.3512231},
doi = {10.1145/3485447.3512231},
timestamp = {Thu, 23 Jun 2022 19:54:34 +0200},
biburl = {https://dblp.org/rec/conf/www/JueckstockSSKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-09035,
author = {Zhipeng Wang and
Stefanos Chaliasos and
Kaihua Qin and
Liyi Zhou and
Lifeng Gao and
Pascal Berrang and
Ben Livshits and
Arthur Gervais},
title = {On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen
User Privacy},
journal = {CoRR},
volume = {abs/2201.09035},
year = {2022},
url = {https://arxiv.org/abs/2201.09035},
eprinttype = {arXiv},
eprint = {2201.09035},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-09035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-12614,
author = {Matteo Varvello and
Kleomenis Katevas and
Mihai Plesa and
Hamed Haddadi and
Fabi{\'{a}}n E. Bustamante and
Ben Livshits},
title = {BatteryLab: {A} Collaborative Platform for Power Monitoring},
journal = {CoRR},
volume = {abs/2201.12614},
year = {2022},
url = {https://arxiv.org/abs/2201.12614},
eprinttype = {arXiv},
eprint = {2201.12614},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-12614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-03528,
author = {Michael Smith and
Peter Snyder and
Moritz Haller and
Benjamin Livshits and
Deian Stefan and
Hamed Haddadi},
title = {Blocked or Broken? Automatically Detecting When Privacy Interventions
Break Websites},
journal = {CoRR},
volume = {abs/2203.03528},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.03528},
doi = {10.48550/ARXIV.2203.03528},
eprinttype = {arXiv},
eprint = {2203.03528},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-03528.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/Querejeta-Azurmendi21,
author = {I{\~{n}}igo Querejeta{-}Azurmendi and
Panagiotis Papadopoulos and
Matteo Varvello and
Antonio Nappa and
Jiexin Zhang and
Benjamin Livshits},
title = {{ZKSENSE:} {A} Friction-less Privacy-Preserving Human Attestation
Mechanism for Mobile Devices},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2021},
number = {4},
pages = {6--29},
year = {2021},
url = {https://doi.org/10.2478/popets-2021-0058},
doi = {10.2478/POPETS-2021-0058},
timestamp = {Wed, 28 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/popets/Querejeta-Azurmendi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/SmithSLS21,
author = {Michael Smith and
Peter Snyder and
Benjamin Livshits and
Deian Stefan},
editor = {Yongdae Kim and
Jong Kim and
Giovanni Vigna and
Elaine Shi},
title = {SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible
Resource Replacements for Content Blocking},
booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications
Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
pages = {2844--2857},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460120.3484578},
doi = {10.1145/3460120.3484578},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/SmithSLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/QinZLG21,
author = {Kaihua Qin and
Liyi Zhou and
Benjamin Livshits and
Arthur Gervais},
editor = {Nikita Borisov and
Claudia D{\'{\i}}az},
title = {Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit},
booktitle = {Financial Cryptography and Data Security - 25th International Conference,
{FC} 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12674},
pages = {3--32},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-64322-8\_1},
doi = {10.1007/978-3-662-64322-8\_1},
timestamp = {Wed, 27 Oct 2021 09:25:38 +0200},
biburl = {https://dblp.org/rec/conf/fc/QinZLG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/PerezWXL21,
author = {Daniel Perez and
Sam M. Werner and
Jiahua Xu and
Benjamin Livshits},
editor = {Nikita Borisov and
Claudia D{\'{\i}}az},
title = {Liquidations: DeFi on a Knife-Edge},
booktitle = {Financial Cryptography and Data Security - 25th International Conference,
{FC} 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12675},
pages = {457--476},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-64331-0\_24},
doi = {10.1007/978-3-662-64331-0\_24},
timestamp = {Thu, 16 Mar 2023 14:52:53 +0100},
biburl = {https://dblp.org/rec/conf/fc/PerezWXL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/VarvelloQNPPL21,
author = {Matteo Varvello and
I{\~{n}}igo Querejeta{-}Azurmendi and
Antonio Nappa and
Panagiotis Papadopoulos and
Goncalo Pestana and
Benjamin Livshits},
editor = {Zheng Yan and
Gareth Tyson and
Dimitrios Koutsonikolas},
title = {VPN-Zero: {A} Privacy-Preserving Decentralized Virtual Private Network},
booktitle = {{IFIP} Networking Conference, {IFIP} Networking 2021, Espoo and Helsinki,
Finland, June 21-24, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/IFIPNetworking52078.2021.9472843},
doi = {10.23919/IFIPNETWORKING52078.2021.9472843},
timestamp = {Wed, 28 Jul 2021 12:16:03 +0200},
biburl = {https://dblp.org/rec/conf/networking/VarvelloQNPPL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recsys/MintoHLH21,
author = {Lorenzo Minto and
Moritz Haller and
Benjamin Livshits and
Hamed Haddadi},
editor = {Humberto Jes{\'{u}}s Corona Pamp{\'{\i}}n and
Martha A. Larson and
Martijn C. Willemsen and
Joseph A. Konstan and
Julian J. McAuley and
Jean Garcia{-}Gathright and
Bouke Huurnink and
Even Oldridge},
title = {Stronger Privacy for Federated Collaborative Filtering With Implicit
Feedback},
booktitle = {RecSys '21: Fifteenth {ACM} Conference on Recommender Systems, Amsterdam,
The Netherlands, 27 September 2021 - 1 October 2021},
pages = {342--350},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460231.3474262},
doi = {10.1145/3460231.3474262},
timestamp = {Mon, 20 Sep 2021 17:35:14 +0200},
biburl = {https://dblp.org/rec/conf/recsys/MintoHLH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ZhouQCLG21,
author = {Liyi Zhou and
Kaihua Qin and
Antoine Cully and
Benjamin Livshits and
Arthur Gervais},
title = {On the Just-In-Time Discovery of Profit-Generating Transactions in
DeFi Protocols},
booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
CA, USA, 24-27 May 2021},
pages = {919--936},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SP40001.2021.00113},
doi = {10.1109/SP40001.2021.00113},
timestamp = {Thu, 21 Sep 2023 15:57:26 +0200},
biburl = {https://dblp.org/rec/conf/sp/ZhouQCLG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ChenSLK21,
author = {Quan Chen and
Peter Snyder and
Ben Livshits and
Alexandros Kapravelos},
title = {Detecting Filter List Evasion with Event-Loop-Turn Granularity JavaScript
Signatures},
booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
CA, USA, 24-27 May 2021},
pages = {1715--1729},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SP40001.2021.00007},
doi = {10.1109/SP40001.2021.00007},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/ChenSLK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tma/VarvelloL21,
author = {Matteo Varvello and
Benjamin Livshits},
editor = {Vaibhav Bajpai and
Hamed Haddadi and
Oliver Hohlfeld},
title = {Shedding (Some) Light on Mobile Browsers Energy Consumption},
booktitle = {5th Network Traffic Measurement and Analysis Conference, {TMA} 2021,
Virtual Event, September 14-15, 2021},
publisher = {{IFIP}},
year = {2021},
url = {http://dl.ifip.org/db/conf/tma/tma2021/tma2021-paper18.pdf},
timestamp = {Fri, 01 Oct 2021 09:02:23 +0200},
biburl = {https://dblp.org/rec/conf/tma/VarvelloL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/0001L21,
author = {Daniel Perez and
Benjamin Livshits},
editor = {Michael D. Bailey and
Rachel Greenstadt},
title = {Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited},
booktitle = {30th {USENIX} Security Symposium, {USENIX} Security 2021, August 11-13,
2021},
pages = {1325--1341},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/usenixsecurity21/presentation/perez},
timestamp = {Mon, 20 Nov 2023 08:57:49 +0100},
biburl = {https://dblp.org/rec/conf/uss/0001L21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/JueckstockSSBPV21,
author = {Jordan Jueckstock and
Shaown Sarker and
Peter Snyder and
Aidan Beggs and
Panagiotis Papadopoulos and
Matteo Varvello and
Benjamin Livshits and
Alexandros Kapravelos},
editor = {Jure Leskovec and
Marko Grobelnik and
Marc Najork and
Jie Tang and
Leila Zia},
title = {Towards Realistic and ReproducibleWeb Crawl Measurements},
booktitle = {{WWW} '21: The Web Conference 2021, Virtual Event / Ljubljana, Slovenia,
April 19-23, 2021},
pages = {80--91},
publisher = {{ACM} / {IW3C2}},
year = {2021},
url = {https://doi.org/10.1145/3442381.3450050},
doi = {10.1145/3442381.3450050},
timestamp = {Mon, 07 Jun 2021 12:37:30 +0200},
biburl = {https://dblp.org/rec/conf/www/JueckstockSSBPV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/KeltonVAL21,
author = {Conor Kelton and
Matteo Varvello and
Andrius Aucinas and
Ben Livshits},
editor = {Jure Leskovec and
Marko Grobelnik and
Marc Najork and
Jie Tang and
Leila Zia},
title = {BrowseLite: {A} Private Data Saving Solution for the Web},
booktitle = {{WWW} '21: The Web Conference 2021, Virtual Event / Ljubljana, Slovenia,
April 19-23, 2021},
pages = {305--316},
publisher = {{ACM} / {IW3C2}},
year = {2021},
url = {https://doi.org/10.1145/3442381.3449885},
doi = {10.1145/3442381.3449885},
timestamp = {Mon, 07 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/KeltonVAL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-07864,
author = {Conor Kelton and
Matteo Varvello and
Andrius Aucinas and
Benjamin Livshits},
title = {Browselite: {A} Private Data Saving Solution for the Web},
journal = {CoRR},
volume = {abs/2102.07864},
year = {2021},
url = {https://arxiv.org/abs/2102.07864},
eprinttype = {arXiv},
eprint = {2102.07864},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-07864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-02228,
author = {Liyi Zhou and
Kaihua Qin and
Antoine Cully and
Benjamin Livshits and
Arthur Gervais},
title = {On the Just-In-Time Discovery of Profit-Generating Transactions in
DeFi Protocols},
journal = {CoRR},
volume = {abs/2103.02228},
year = {2021},
url = {https://arxiv.org/abs/2103.02228},
eprinttype = {arXiv},
eprint = {2103.02228},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-02228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-03941,
author = {Lorenzo Minto and
Moritz Haller and
Hamed Haddadi and
Benjamin Livshits},
title = {Stronger Privacy for Federated Collaborative Filtering with Implicit
Feedback},
journal = {CoRR},
volume = {abs/2105.03941},
year = {2021},
url = {https://arxiv.org/abs/2105.03941},
eprinttype = {arXiv},
eprint = {2105.03941},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-03941.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-01940,
author = {Gon{\c{c}}alo Pestana and
I{\~{n}}igo Querejeta{-}Azurmendi and
Panagiotis Papadopoulos and
Benjamin Livshits},
title = {{THEMIS:} {A} Decentralized Privacy-Preserving Ad Platform with Reporting
Integrity},
journal = {CoRR},
volume = {abs/2106.01940},
year = {2021},
url = {https://arxiv.org/abs/2106.01940},
eprinttype = {arXiv},
eprint = {2106.01940},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01940.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-06836,
author = {Philipp Winter and
Anna Harbluk Lorimer and
Peter Snyder and
Benjamin Livshits},
title = {What's in Your Wallet? Privacy and Security Issues in Web 3.0},
journal = {CoRR},
volume = {abs/2109.06836},
year = {2021},
url = {https://arxiv.org/abs/2109.06836},
eprinttype = {arXiv},
eprint = {2109.06836},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-06836.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08189,
author = {Muhammad Haris Mughees and
Gon{\c{c}}alo Pestana and
Alex Davidson and
Benjamin Livshits},
title = {PrivateFetch: Scalable Catalog Delivery in Privacy-Preserving Advertising},
journal = {CoRR},
volume = {abs/2109.08189},
year = {2021},
url = {https://arxiv.org/abs/2109.08189},
eprinttype = {arXiv},
eprint = {2109.08189},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-10074,
author = {Alex Davidson and
Peter Snyder and
E. B. Quirk and
Joseph Genereux and
Benjamin Livshits},
title = {{STAR:} Distributed Secret Sharing for Private Threshold Aggregation
Reporting},
journal = {CoRR},
volume = {abs/2109.10074},
year = {2021},
url = {https://arxiv.org/abs/2109.10074},
eprinttype = {arXiv},
eprint = {2109.10074},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-10074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-11270,
author = {Ceren Kocaogullar and
Arthur Gervais and
Benjamin Livshits},
title = {Towards Private On-Chain Algorithmic Trading},
journal = {CoRR},
volume = {abs/2109.11270},
year = {2021},
url = {https://arxiv.org/abs/2109.11270},
eprinttype = {arXiv},
eprint = {2109.11270},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-11270.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-06324,
author = {Peter Snyder and
Soroush Karami and
Benjamin Livshits and
Hamed Haddadi},
title = {Pool-Party: Exploiting Browser Resource Pools as Side-Channels for
Web Tracking},
journal = {CoRR},
volume = {abs/2112.06324},
year = {2021},
url = {https://arxiv.org/abs/2112.06324},
eprinttype = {arXiv},
eprint = {2112.06324},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-06324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Livshits20,
author = {Benjamin Livshits},
title = {Technical perspective: Analyzing smart contracts with MadMax},
journal = {Commun. {ACM}},
volume = {63},
number = {10},
pages = {86},
year = {2020},
url = {https://doi.org/10.1145/3416259},
doi = {10.1145/3416259},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/Livshits20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pomacs/SnyderVL20,
author = {Peter Snyder and
Antoine Vastel and
Ben Livshits},
title = {Who Filters the Filters: Understanding the Growth, Usefulness and
Efficiency of Crowdsourced Ad Blocking},
journal = {Proc. {ACM} Meas. Anal. Comput. Syst.},
volume = {4},
number = {2},
pages = {26:1--26:24},
year = {2020},
url = {https://doi.org/10.1145/3392144},
doi = {10.1145/3392144},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pomacs/SnyderVL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/Abu-SalmaL20,
author = {Ruba Abu{-}Salma and
Benjamin Livshits},
editor = {Regina Bernhaupt and
Florian 'Floyd' Mueller and
David Verweij and
Josh Andres and
Joanna McGrenere and
Andy Cockburn and
Ignacio Avellino and
Alix Goguey and
Pernille Bj{\o}n and
Shengdong Zhao and
Briane Paul Samson and
Rafal Kocielnik},
title = {Evaluating the End-User Experience of Private Browsing Mode},
booktitle = {{CHI} '20: {CHI} Conference on Human Factors in Computing Systems,
Honolulu, HI, USA, April 25-30, 2020},
pages = {1--12},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3313831.3376440},
doi = {10.1145/3313831.3376440},
timestamp = {Wed, 12 Jun 2024 07:39:18 +0200},
biburl = {https://dblp.org/rec/conf/chi/Abu-SalmaL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvcbt/GudgeonPHLG20,
author = {Lewis Gudgeon and
Daniel Perez and
Dominik Harz and
Benjamin Livshits and
Arthur Gervais},
title = {The Decentralized Financial Crisis},
booktitle = {Crypto Valley Conference on Blockchain Technology, {CVCBT} 2020, Rotkreuz,
Switzerland, June 11-12, 2020},
pages = {1--15},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CVCBT50464.2020.00005},
doi = {10.1109/CVCBT50464.2020.00005},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvcbt/GudgeonPHLG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imc/PerezXL20,
author = {Daniel Perez and
Jiahua Xu and
Benjamin Livshits},
title = {Revisiting Transactional Statistics of High-scalability Blockchains},
booktitle = {{IMC} '20: {ACM} Internet Measurement Conference, Virtual Event, USA,
October 27-29, 2020},
pages = {535--550},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3419394.3423628},
doi = {10.1145/3419394.3423628},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imc/PerezXL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlsys/MalekzadehAHL20,
author = {Mohammad Malekzadeh and
Dimitrios Athanasakis and
Hamed Haddadi and
Benjamin Livshits},
editor = {Inderjit S. Dhillon and
Dimitris S. Papailiopoulos and
Vivienne Sze},
title = {Privacy-Preserving Bandits},
booktitle = {Proceedings of the Third Conference on Machine Learning and Systems,
MLSys 2020, Austin, TX, USA, March 2-4, 2020},
publisher = {mlsys.org},
year = {2020},
url = {https://proceedings.mlsys.org/paper\_files/paper/2020/hash/6ba1453022da1faf642d4de27241d53f-Abstract.html},
timestamp = {Fri, 28 Jun 2024 10:41:08 +0200},
biburl = {https://dblp.org/rec/conf/mlsys/MalekzadehAHL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/0002L20,
author = {Daniel Perez and
Benjamin Livshits},
title = {Broken Metre: Attacking Resource Metering in {EVM}},
booktitle = {27th Annual Network and Distributed System Security Symposium, {NDSS}
2020, San Diego, California, USA, February 23-26, 2020},
publisher = {The Internet Society},
year = {2020},
url = {https://www.ndss-symposium.org/ndss-paper/broken-metre-attacking-resource-metering-in-evm/},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ndss/0002L20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/SnyderVL20,
author = {Peter Snyder and
Antoine Vastel and
Ben Livshits},
editor = {Edmund Yeh and
Athina Markopoulou and
Y. C. Tay},
title = {Who Filters the Filters: Understanding the Growth, Usefulness and
Efficiency of Crowdsourced Ad Blocking},
booktitle = {Abstracts of the 2020 SIGMETRICS/Performance Joint International Conference
on Measurement and Modeling of Computer Systems, Boston, MA, USA,
June, 8-12, 2020},
pages = {75--76},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3393691.3394228},
doi = {10.1145/3393691.3394228},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/SnyderVL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/IqbalSZLQS20,
author = {Umar Iqbal and
Peter Snyder and
Shitong Zhu and
Benjamin Livshits and
Zhiyun Qian and
Zubair Shafiq},
title = {AdGraph: {A} Graph-Based Approach to Ad and Tracker Blocking},
booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
CA, USA, May 18-21, 2020},
pages = {763--776},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SP40000.2020.00005},
doi = {10.1109/SP40000.2020.00005},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/IqbalSZLQS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/DinTKL20,
author = {Zain ul Abi Din and
Panagiotis Tigas and
Samuel T. King and
Benjamin Livshits},
editor = {Ada Gavrilovska and
Erez Zadok},
title = {{PERCIVAL:} Making In-Browser Perceptual Ad Blocking Practical with
Deep Learning},
booktitle = {Proceedings of the 2020 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2020, July 15-17, 2020},
pages = {387--400},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/atc20/presentation/din},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/DinTKL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/PapadopoulosSAL20,
author = {Panagiotis Papadopoulos and
Peter Snyder and
Dimitrios Athanasakis and
Benjamin Livshits},
editor = {Yennun Huang and
Irwin King and
Tie{-}Yan Liu and
Maarten van Steen},
title = {Keeping out the Masses: Understanding the Popularity and Implications
of Internet Paywalls},
booktitle = {{WWW} '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020},
pages = {1433--1444},
publisher = {{ACM} / {IW3C2}},
year = {2020},
url = {https://doi.org/10.1145/3366423.3380217},
doi = {10.1145/3366423.3380217},
timestamp = {Fri, 25 Dec 2020 01:14:58 +0100},
biburl = {https://dblp.org/rec/conf/www/PapadopoulosSAL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/SjostenSPPL20,
author = {Alexander Sj{\"{o}}sten and
Peter Snyder and
Antonio Pastor and
Panagiotis Papadopoulos and
Benjamin Livshits},
editor = {Yennun Huang and
Irwin King and
Tie{-}Yan Liu and
Maarten van Steen},
title = {Filter List Generation for Underserved Regions},
booktitle = {{WWW} '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020},
pages = {1682--1692},
publisher = {{ACM} / {IW3C2}},
year = {2020},
url = {https://doi.org/10.1145/3366423.3380239},
doi = {10.1145/3366423.3380239},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/SjostenSPPL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-08099,
author = {Lewis Gudgeon and
Daniel Perez and
Dominik Harz and
Arthur Gervais and
Benjamin Livshits},
title = {The Decentralized Financial Crisis: Attacking DeFi},
journal = {CoRR},
volume = {abs/2002.08099},
year = {2020},
url = {https://arxiv.org/abs/2002.08099},
eprinttype = {arXiv},
eprint = {2002.08099},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-08099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-02693,
author = {Daniel Perez and
Jiahua Xu and
Benjamin Livshits},
title = {We Know What They've Been Put Through: Revisiting High-scalability
Blockchain Transactions},
journal = {CoRR},
volume = {abs/2003.02693},
year = {2020},
url = {https://arxiv.org/abs/2003.02693},
eprinttype = {arXiv},
eprint = {2003.02693},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-02693.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03810,
author = {Kaihua Qin and
Liyi Zhou and
Benjamin Livshits and
Arthur Gervais},
title = {Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit},
journal = {CoRR},
volume = {abs/2003.03810},
year = {2020},
url = {https://arxiv.org/abs/2003.03810},
eprinttype = {arXiv},
eprint = {2003.03810},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-03810.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-11910,
author = {Quan Chen and
Peter Snyder and
Ben Livshits and
Alexandros Kapravelos},
title = {Improving Web Content Blocking With Event-Loop-Turn Granularity JavaScript
Signatures},
journal = {CoRR},
volume = {abs/2005.11910},
year = {2020},
url = {https://arxiv.org/abs/2005.11910},
eprinttype = {arXiv},
eprint = {2005.11910},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-11910.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-05556,
author = {Gon{\c{c}}alo Pestana and
I{\~{n}}igo Querejeta{-}Azurmendi and
Panagiotis Papadopoulos and
Benjamin Livshits},
title = {{THEMIS:} Decentralized and Trustless Ad Platform with Reporting Integrity},
journal = {CoRR},
volume = {abs/2007.05556},
year = {2020},
url = {https://arxiv.org/abs/2007.05556},
eprinttype = {arXiv},
eprint = {2007.05556},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-05556.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-03740,
author = {Matteo Varvello and
Benjamin Livshits},
title = {On the Battery Consumption of Mobile Browsers},
journal = {CoRR},
volume = {abs/2009.03740},
year = {2020},
url = {https://arxiv.org/abs/2009.03740},
eprinttype = {arXiv},
eprint = {2009.03740},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-03740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-01267,
author = {Jordan Jueckstock and
Peter Snyder and
Shaown Sarker and
Alexandros Kapravelos and
Benjamin Livshits},
title = {There's No Trick, Its Just a Simple Trick: {A} Web-Compat and Privacy
Improving Approach to Third-party Web Storage},
journal = {CoRR},
volume = {abs/2011.01267},
year = {2020},
url = {https://arxiv.org/abs/2011.01267},
eprinttype = {arXiv},
eprint = {2011.01267},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-01267.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpc/AventKZHL19,
author = {Brendan Avent and
Aleksandra Korolova and
David Zeber and
Torgeir Hovden and
Benjamin Livshits},
title = {{BLENDER:} Enabling Local Search with a Hybrid Differential Privacy
Model},
journal = {J. Priv. Confidentiality},
volume = {9},
number = {2},
year = {2019},
url = {https://doi.org/10.29012/jpc.680},
doi = {10.29012/JPC.680},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpc/AventKZHL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SotiropoulosL19,
author = {Thodoris Sotiropoulos and
Benjamin Livshits},
editor = {Alastair F. Donaldson},
title = {Static Analysis for Asynchronous JavaScript Programs},
booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
July 15-19, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {134},
pages = {8:1--8:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.8},
doi = {10.4230/LIPICS.ECOOP.2019.8},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SotiropoulosL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/VarvelloKPHL19,
author = {Matteo Varvello and
Kleomenis Katevas and
Mihai Plesa and
Hamed Haddadi and
Benjamin Livshits},
title = {BatteryLab, {A} Distributed Power Monitoring Platform For Mobile Devices},
booktitle = {Proceedings of the 18th {ACM} Workshop on Hot Topics in Networks,
HotNets 2019, Princeton, NJ, USA, November 13-15, 2019},
pages = {101--108},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3365609.3365852},
doi = {10.1145/3365609.3365852},
timestamp = {Sun, 10 Nov 2019 16:05:28 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/VarvelloKPHL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/VarvelloKHPHBL19,
author = {Matteo Varvello and
Kleomenis Katevas and
Wei Hang and
Mihai Plesa and
Hamed Haddadi and
Fabi{\'{a}}n E. Bustamante and
Benjamin Livshits},
editor = {Raghu K. Ganti and
Xiaofan Fred Jiang and
Gian Pietro Picco and
Xia Zhou},
title = {BatteryLab, a distributed power monitoring platform for mobile devices:
demo abstract},
booktitle = {Proceedings of the 17th Conference on Embedded Networked Sensor Systems,
SenSys 2019, New York, NY, USA, November 10-13, 2019},
pages = {386--387},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3356250.3361946},
doi = {10.1145/3356250.3361946},
timestamp = {Thu, 20 May 2021 08:59:37 +0200},
biburl = {https://dblp.org/rec/conf/sensys/VarvelloKHPHBL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tokenomics/KiayiasLML19,
author = {Aggelos Kiayias and
Benjamin Livshits and
Andr{\'{e}}s Monteoliva Mosteiro and
Orfeas Stefanos Thyfronitis Litos},
editor = {Vincent Danos and
Maurice Herlihy and
Maria Potop{-}Butucaru and
Julien Prat and
Sara Tucci Piergiovanni},
title = {A Puff of Steem: Security Analysis of Decentralized Content Curation},
booktitle = {International Conference on Blockchain Economics, Security and Protocols,
Tokenomics 2019, May 6-7, 2019, Paris, France},
series = {OASIcs},
volume = {71},
pages = {3:1--3:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/OASIcs.Tokenomics.2019.3},
doi = {10.4230/OASICS.TOKENOMICS.2019.3},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/tokenomics/KiayiasLML19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/GadottiHRLM19,
author = {Andrea Gadotti and
Florimond Houssiau and
Luc Rocher and
Benjamin Livshits and
Yves{-}Alexandre de Montjoye},
editor = {Nadia Heninger and
Patrick Traynor},
title = {When the Signal is in the Noise: Exploiting Diffix's Sticky Noise},
booktitle = {28th {USENIX} Security Symposium, {USENIX} Security 2019, Santa Clara,
CA, USA, August 14-16, 2019},
pages = {1081--1098},
publisher = {{USENIX} Association},
year = {2019},
url = {https://www.usenix.org/conference/usenixsecurity19/presentation/gadotti},
timestamp = {Mon, 01 Feb 2021 08:43:12 +0100},
biburl = {https://dblp.org/rec/conf/uss/GadottiHRLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/XuL19,
author = {Jiahua Xu and
Benjamin Livshits},
editor = {Nadia Heninger and
Patrick Traynor},
title = {The Anatomy of a Cryptocurrency Pump-and-Dump Scheme},
booktitle = {28th {USENIX} Security Symposium, {USENIX} Security 2019, Santa Clara,
CA, USA, August 14-16, 2019},
pages = {1609--1625},
publisher = {{USENIX} Association},
year = {2019},
url = {https://www.usenix.org/conference/usenixsecurity19/presentation/xu-jiahua},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/XuL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/GhasemisharifSA19,
author = {Mohammad Ghasemisharif and
Peter Snyder and
Andrius Aucinas and
Benjamin Livshits},
editor = {Ling Liu and
Ryen W. White and
Amin Mantrach and
Fabrizio Silvestri and
Julian J. McAuley and
Ricardo Baeza{-}Yates and
Leila Zia},
title = {SpeedReader: Reader Mode Made Fast and Private},
booktitle = {The World Wide Web Conference, {WWW} 2019, San Francisco, CA, USA,
May 13-17, 2019},
pages = {526--537},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3308558.3313596},
doi = {10.1145/3308558.3313596},
timestamp = {Sun, 22 Sep 2019 18:12:47 +0200},
biburl = {https://dblp.org/rec/conf/www/GhasemisharifSA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-03575,
author = {Thodoris Sotiropoulos and
Benjamin Livshits},
title = {Static Analysis for Asynchronous JavaScript Programs},
journal = {CoRR},
volume = {abs/1901.03575},
year = {2019},
url = {http://arxiv.org/abs/1901.03575},
eprinttype = {arXiv},
eprint = {1901.03575},
timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-03575.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-06710,
author = {Daniel Perez and
Benjamin Livshits},
title = {Smart Contract Vulnerabilities: Does Anyone Care?},
journal = {CoRR},
volume = {abs/1902.06710},
year = {2019},
url = {http://arxiv.org/abs/1902.06710},
eprinttype = {arXiv},
eprint = {1902.06710},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-06710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-01406,
author = {Panagiotis Papadopoulos and
Peter Snyder and
Benjamin Livshits},
title = {Another Brick in the Paywall: The Popularity and Privacy Implications
of Paywalls},
journal = {CoRR},
volume = {abs/1903.01406},
year = {2019},
url = {http://arxiv.org/abs/1903.01406},
eprinttype = {arXiv},
eprint = {1903.01406},
timestamp = {Sat, 30 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-01406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-07444,
author = {Zain ul Abi Din and
Panagiotis Tigas and
Samuel T. King and
Benjamin Livshits},
title = {Percival: Making In-Browser Perceptual Ad Blocking Practical With
Deep Learning},
journal = {CoRR},
volume = {abs/1905.07444},
year = {2019},
url = {http://arxiv.org/abs/1905.07444},
eprinttype = {arXiv},
eprint = {1905.07444},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-07444.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-08767,
author = {Jordan Jueckstock and
Shaown Sarker and
Peter Snyder and
Panagiotis Papadopoulos and
Matteo Varvello and
Benjamin Livshits and
Alexandros Kapravelos},
title = {The Blind Men and the Internet: Multi-Vantage Point Web Measurements},
journal = {CoRR},
volume = {abs/1905.08767},
year = {2019},
url = {http://arxiv.org/abs/1905.08767},
eprinttype = {arXiv},
eprint = {1905.08767},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-08767.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-04421,
author = {Mohammad Malekzadeh and
Dimitrios Athanasakis and
Hamed Haddadi and
Ben Livshits},
title = {Privacy-Preserving Bandits},
journal = {CoRR},
volume = {abs/1909.04421},
year = {2019},
url = {http://arxiv.org/abs/1909.04421},
eprinttype = {arXiv},
eprint = {1909.04421},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-04421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-07220,
author = {Daniel Perez and
Benjamin Livshits},
title = {Broken Metre: Attacking Resource Metering in {EVM}},
journal = {CoRR},
volume = {abs/1909.07220},
year = {2019},
url = {http://arxiv.org/abs/1909.07220},
eprinttype = {arXiv},
eprint = {1909.07220},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-00159,
author = {Matteo Varvello and
I{\~{n}}igo Querejeta{-}Azurmendi and
Antonio Nappa and
Panagiotis Papadopoulos and
Goncalo Pestana and
Benjamin Livshits},
title = {{VPN0:} {A} Privacy-Preserving Decentralized Virtual Private Network},
journal = {CoRR},
volume = {abs/1910.00159},
year = {2019},
url = {http://arxiv.org/abs/1910.00159},
eprinttype = {arXiv},
eprint = {1910.00159},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-00159.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-07303,
author = {Alexander Sj{\"{o}}sten and
Peter Snyder and
Antonio Pastor and
Panagiotis Papadopoulos and
Benjamin Livshits},
title = {Filter List Generation for Underserved Regions},
journal = {CoRR},
volume = {abs/1910.07303},
year = {2019},
url = {http://arxiv.org/abs/1910.07303},
eprinttype = {arXiv},
eprint = {1910.07303},
timestamp = {Sun, 03 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-07303.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-08951,
author = {Matteo Varvello and
Kleomenis Katevas and
Mihai Plesa and
Hamed Haddadi and
Benjamin Livshits},
title = {BatteryLab, {A} Distributed Power Monitoring Platform For Mobile Devices},
journal = {CoRR},
volume = {abs/1910.08951},
year = {2019},
url = {http://arxiv.org/abs/1910.08951},
eprinttype = {arXiv},
eprint = {1910.08951},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-08951.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-07649,
author = {Panagiotis Papadopoulos and
I{\~{n}}igo Querejeta{-}Azurmendi and
Jiexin Zhang and
Matteo Varvello and
Antonio Nappa and
Benjamin Livshits},
title = {{ZKSENSE:} a Privacy-Preserving Mechanism for Bot Detection in Mobile
Devices},
journal = {CoRR},
volume = {abs/1911.07649},
year = {2019},
url = {http://arxiv.org/abs/1911.07649},
eprinttype = {arXiv},
eprint = {1911.07649},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-07649.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlbertGLRS18,
author = {Elvira Albert and
Pablo Gordillo and
Benjamin Livshits and
Albert Rubio and
Ilya Sergey},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {EthIR: {A} Framework for High-Level Analysis of Ethereum Bytecode},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {513--520},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_30},
doi = {10.1007/978-3-030-01090-4\_30},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/AlbertGLRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/StaicuPL18,
author = {Cristian{-}Alexandru Staicu and
Michael Pradel and
Benjamin Livshits},
title = {{SYNODE:} Understanding and Automatically Preventing Injection Attacks
on {NODE.JS}},
booktitle = {25th Annual Network and Distributed System Security Symposium, {NDSS}
2018, San Diego, California, USA, February 18-21, 2018},
publisher = {The Internet Society},
year = {2018},
url = {https://www.ndss-symposium.org/wp-content/uploads/2018/02/ndss2018\_07A-2\_Staicu\_paper.pdf},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ndss/StaicuPL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08915,
author = {Omer Katz and
Benjamin Livshits},
title = {Toward an Evidence-based Design for Reactive Security Policies and
Mechanisms},
journal = {CoRR},
volume = {abs/1802.08915},
year = {2018},
url = {http://arxiv.org/abs/1802.08915},
eprinttype = {arXiv},
eprint = {1802.08915},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08915.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-07208,
author = {Elvira Albert and
Pablo Gordillo and
Benjamin Livshits and
Albert Rubio and
Ilya Sergey},
title = {EthIR: {A} Framework for High-Level Analysis of Ethereum Bytecode},
journal = {CoRR},
volume = {abs/1805.07208},
year = {2018},
url = {http://arxiv.org/abs/1805.07208},
eprinttype = {arXiv},
eprint = {1805.07208},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-07208.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-09155,
author = {Umar Iqbal and
Zubair Shafiq and
Peter Snyder and
Shitong Zhu and
Zhiyun Qian and
Benjamin Livshits},
title = {AdGraph: {A} Machine Learning Approach to Automatic and Effective
Adblocking},
journal = {CoRR},
volume = {abs/1805.09155},
year = {2018},
url = {http://arxiv.org/abs/1805.09155},
eprinttype = {arXiv},
eprint = {1805.09155},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-09155.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-01719,
author = {Aggelos Kiayias and
Benjamin Livshits and
Andr{\'{e}}s Monteoliva Mosteiro and
Orfeas Stefanos Thyfronitis Litos},
title = {A Puff of Steem: Security Analysis of Decentralized Content Curation},
journal = {CoRR},
volume = {abs/1810.01719},
year = {2018},
url = {http://arxiv.org/abs/1810.01719},
eprinttype = {arXiv},
eprint = {1810.01719},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-01719.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-09160,
author = {Antoine Vastel and
Peter Snyder and
Benjamin Livshits},
title = {Who Filters the Filters: Understanding the Growth, Usefulness and
Efficiency of Crowdsourced Ad Blocking},
journal = {CoRR},
volume = {abs/1810.09160},
year = {2018},
url = {http://arxiv.org/abs/1810.09160},
eprinttype = {arXiv},
eprint = {1810.09160},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-09160.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-03661,
author = {Mohammad Ghasemisharif and
Peter Snyder and
Andrius Aucinas and
Benjamin Livshits},
title = {SpeedReader: Reader Mode Made Fast and Private},
journal = {CoRR},
volume = {abs/1811.03661},
year = {2018},
url = {http://arxiv.org/abs/1811.03661},
eprinttype = {arXiv},
eprint = {1811.03661},
timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-03661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-08460,
author = {Ruba Abu{-}Salma and
Benjamin Livshits},
title = {Evaluating the End-User Experience of Private Browsing Mode},
journal = {CoRR},
volume = {abs/1811.08460},
year = {2018},
url = {http://arxiv.org/abs/1811.08460},
eprinttype = {arXiv},
eprint = {1811.08460},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-08460.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-10109,
author = {Jiahua Xu and
Benjamin Livshits},
title = {The Anatomy of a Cryptocurrency Pump-and-Dump Scheme},
journal = {CoRR},
volume = {abs/1811.10109},
year = {2018},
url = {http://arxiv.org/abs/1811.10109},
eprinttype = {arXiv},
eprint = {1811.10109},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-10109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/FigueiredoMVL17,
author = {Lucas Silva Figueiredo and
David Molnar and
Margus Veanes and
Benjamin Livshits},
title = {Prepose: Privacy, Security, and Reliability for Gesture-Based Programming},
journal = {{IEEE} Secur. Priv.},
volume = {15},
number = {2},
pages = {14--23},
year = {2017},
url = {https://doi.org/10.1109/MSP.2017.44},
doi = {10.1109/MSP.2017.44},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeesp/FigueiredoMVL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DoALBSM17,
author = {Lisa Nguyen Quang Do and
Karim Ali and
Benjamin Livshits and
Eric Bodden and
Justin Smith and
Emerson R. Murphy{-}Hill},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Cheetah: just-in-time taint analysis for Android apps},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {39--42},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-C.2017.20},
doi = {10.1109/ICSE-C.2017.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DoALBSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DoALBSM17,
author = {Lisa Nguyen Quang Do and
Karim Ali and
Benjamin Livshits and
Eric Bodden and
Justin Smith and
Emerson R. Murphy{-}Hill},
editor = {Tevfik Bultan and
Koushik Sen},
title = {Just-in-time static analysis},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
pages = {307--317},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703.3092705},
doi = {10.1145/3092703.3092705},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/DoALBSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GarbervetskyZL17,
author = {Diego Garbervetsky and
Edgardo Zoppi and
Benjamin Livshits},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Toward full elasticity in distributed static analysis: the case of
callgraph analysis},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {442--453},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106261},
doi = {10.1145/3106237.3106261},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GarbervetskyZL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/AventKZHL17,
author = {Brendan Avent and
Aleksandra Korolova and
David Zeber and
Torgeir Hovden and
Benjamin Livshits},
editor = {Engin Kirda and
Thomas Ristenpart},
title = {{BLENDER:} Enabling Local Search with a Hybrid Differential Privacy
Model},
booktitle = {26th {USENIX} Security Symposium, {USENIX} Security 2017, Vancouver,
BC, Canada, August 16-18, 2017},
pages = {747--764},
publisher = {{USENIX} Association},
year = {2017},
url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/avent},
timestamp = {Mon, 01 Feb 2021 08:42:59 +0100},
biburl = {https://dblp.org/rec/conf/uss/AventKZHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AventKZHL17,
author = {Brendan Avent and
Aleksandra Korolova and
David Zeber and
Torgeir Hovden and
Benjamin Livshits},
title = {{BLENDER:} Enabling Local Search with a Hybrid Differential Privacy
Model},
journal = {CoRR},
volume = {abs/1705.00831},
year = {2017},
url = {http://arxiv.org/abs/1705.00831},
eprinttype = {arXiv},
eprint = {1705.00831},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AventKZHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/StockLZ16,
author = {Ben Stock and
Benjamin Livshits and
Benjamin G. Zorn},
title = {Kizzle: {A} Signature Compiler for Detecting Exploit Kits},
booktitle = {46th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2016, Toulouse, France, June 28 - July 1, 2016},
pages = {455--466},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DSN.2016.48},
doi = {10.1109/DSN.2016.48},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/StockLZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/FigueiredoLMV16,
author = {Lucas Silva Figueiredo and
Benjamin Livshits and
David Molnar and
Margus Veanes},
title = {Prepose: Privacy, Security, and Reliability for Gesture-Based Programming},
booktitle = {{IEEE} Symposium on Security and Privacy, {SP} 2016, San Jose, CA,
USA, May 22-26, 2016},
pages = {122--137},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SP.2016.16},
doi = {10.1109/SP.2016.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/FigueiredoLMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/LivshitsSSLACGKMV15,
author = {Benjamin Livshits and
Manu Sridharan and
Yannis Smaragdakis and
Ondrej Lhot{\'{a}}k and
Jos{\'{e}} Nelson Amaral and
Bor{-}Yuh Evan Chang and
Samuel Z. Guyer and
Uday P. Khedker and
Anders M{\o}ller and
Dimitrios Vardoulakis},
title = {In defense of soundiness: a manifesto},
journal = {Commun. {ACM}},
volume = {58},
number = {2},
pages = {44--46},
year = {2015},
url = {https://doi.org/10.1145/2644805},
doi = {10.1145/2644805},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/LivshitsSSLACGKMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DAntoniVLM15,
author = {Loris D'Antoni and
Margus Veanes and
Benjamin Livshits and
David Molnar},
title = {Fast: {A} Transducer-Based Language for Tree Manipulation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {38},
number = {1},
pages = {1:1--1:32},
year = {2015},
url = {https://doi.org/10.1145/2791292},
doi = {10.1145/2791292},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/DAntoniVLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/VeanesMML15,
author = {Margus Veanes and
Todd Mytkowicz and
David Molnar and
Benjamin Livshits},
editor = {Sriram K. Rajamani and
David Walker},
title = {Data-Parallel String-Manipulating Programs},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {139--152},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677014},
doi = {10.1145/2676726.2677014},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/VeanesMML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CochranDLMV15,
author = {Robert A. Cochran and
Loris D'Antoni and
Benjamin Livshits and
David Molnar and
Margus Veanes},
editor = {Sriram K. Rajamani and
David Walker},
title = {Program Boosting: Program Synthesis via Crowd-Sourcing},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {677--688},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676973},
doi = {10.1145/2676726.2676973},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/CochranDLMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MutluTL15,
author = {Erdal Mutlu and
Serdar Tasiran and
Benjamin Livshits},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Detecting JavaScript races that matter},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {381--392},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786820},
doi = {10.1145/2786805.2786820},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/MutluTL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/LivshitsM15,
author = {Benjamin Livshits and
Todd Mytkowicz},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {InterPoll: Crowd-Sourced Internet Polls},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {156--176},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.156},
doi = {10.4230/LIPICS.SNAPL.2015.156},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/snapl/LivshitsM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/VilkMLORMWG15,
author = {John Vilk and
David Molnar and
Benjamin Livshits and
Eyal Ofek and
Christopher J. Rossbach and
Alexander Moshchuk and
Helen J. Wang and
Ran Gal},
title = {SurroundWeb: Mitigating Privacy Concerns in a 3D Web Browser},
booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
CA, USA, May 17-21, 2015},
pages = {431--446},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SP.2015.33},
doi = {10.1109/SP.2015.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/VilkMLORMWG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/NikiforakisJL15,
author = {Nick Nikiforakis and
Wouter Joosen and
Benjamin Livshits},
editor = {Aldo Gangemi and
Stefano Leonardi and
Alessandro Panconesi},
title = {PriVaricator: Deceiving Fingerprinters with Little White Lies},
booktitle = {Proceedings of the 24th International Conference on World Wide Web,
{WWW} 2015, Florence, Italy, May 18-22, 2015},
pages = {820--830},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2736277.2741090},
doi = {10.1145/2736277.2741090},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/www/NikiforakisJL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/DesmetJLS14,
author = {Lieven Desmet and
Martin Johns and
Benjamin Livshits and
Andrei Sabelfeld},
title = {Preface},
journal = {J. Comput. Secur.},
volume = {22},
number = {4},
pages = {467--468},
year = {2014},
url = {https://doi.org/10.3233/JCS-140506},
doi = {10.3233/JCS-140506},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/DesmetJLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/DavidsonFL14,
author = {Drew Davidson and
Matt Fredrikson and
Benjamin Livshits},
editor = {Charles N. Payne Jr. and
Adam Hahn and
Kevin R. B. Butler and
Micah Sherr},
title = {MoRePriv: mobile {OS} support for application personalization and
privacy},
booktitle = {Proceedings of the 30th Annual Computer Security Applications Conference,
{ACSAC} 2014, New Orleans, LA, USA, December 8-12, 2014},
pages = {236--245},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2664243.2664266},
doi = {10.1145/2664243.2664266},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/DavidsonFL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/KobsaKL14,
author = {Alfred Kobsa and
Bart P. Knijnenburg and
Benjamin Livshits},
editor = {Matt Jones and
Philippe A. Palanque and
Albrecht Schmidt and
Tovi Grossman},
title = {Let's do it at my place instead?: attitudinal and behavioral study
of privacy in client-side personalization},
booktitle = {{CHI} Conference on Human Factors in Computing Systems, CHI'14, Toronto,
ON, Canada - April 26 - May 01, 2014},
pages = {81--90},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2556288.2557102},
doi = {10.1145/2556288.2557102},
timestamp = {Tue, 01 Jun 2021 15:21:43 +0200},
biburl = {https://dblp.org/rec/conf/chi/KobsaKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcomp/LivshitsM14,
author = {Benjamin Livshits and
Todd Mytkowicz},
editor = {Jeffrey P. Bigham and
David C. Parkes},
title = {Saving Money While Polling with InterPoll Using Power Analysis},
booktitle = {Proceedings of the Seconf {AAAI} Conference on Human Computation and
Crowdsourcing, {HCOMP} 2014, November 2-4, 2014, Pittsburgh, Pennsylvania,
{USA}},
pages = {159--170},
publisher = {{AAAI}},
year = {2014},
url = {https://doi.org/10.1609/hcomp.v2i1.13168},
doi = {10.1609/HCOMP.V2I1.13168},
timestamp = {Tue, 05 Sep 2023 11:10:11 +0200},
biburl = {https://dblp.org/rec/conf/hcomp/LivshitsM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GligoricSPVNL14,
author = {Milos Gligoric and
Wolfram Schulte and
Chandra Prasad and
Danny van Velzen and
Iman Narasamdya and
Benjamin Livshits},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Automated migration of build scripts using dynamic analysis and search-based
refactoring},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
pages = {599--616},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660239},
doi = {10.1145/2660193.2660239},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GligoricSPVNL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MutluTL14,
author = {Erdal Mutlu and
Serdar Tasiran and
Benjamin Livshits},
title = {I Know It When {I} See It: Observable Races in JavaScript Applications},
booktitle = {Proceedings of the Workshop on Dynamic Languages and Applications,
Dyla 2014, Edinburgh, United Kingdom, June 9-11, 2014},
pages = {1:1--1:7},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2617548.2617549},
doi = {10.1145/2617548.2617549},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MutluTL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DAntoniVLM14,
author = {Loris D'Antoni and
Margus Veanes and
Benjamin Livshits and
David Molnar},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Fast: a transducer-based language for tree manipulation},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {384--394},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594309},
doi = {10.1145/2594291.2594309},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DAntoniVLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/FredriksonL14,
author = {Matthew Fredrikson and
Benjamin Livshits},
editor = {Kevin Fu and
Jaeyeon Jung},
title = {Z{\O}: An Optimizing Distributing Zero-Knowledge Compiler},
booktitle = {Proceedings of the 23rd {USENIX} Security Symposium, San Diego, CA,
USA, August 20-22, 2014},
pages = {909--924},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/fredrikson},
timestamp = {Mon, 01 Feb 2021 08:43:04 +0100},
biburl = {https://dblp.org/rec/conf/uss/FredriksonL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/DAntoniDJKLMMORSVW13,
author = {Loris D'Antoni and
Alan M. Dunn and
Suman Jana and
Tadayoshi Kohno and
Benjamin Livshits and
David Molnar and
Alexander Moshchuk and
Eyal Ofek and
Franziska Roesner and
T. Scott Saponas and
Margus Veanes and
Helen J. Wang},
editor = {Petros Maniatis},
title = {Operating System Support for Augmented Reality Applications},
booktitle = {14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa
Ana Pueblo, New Mexico, USA, May 13-15, 2013},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/hotos13/session/d\%27antoni},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/hotos/DAntoniDJKLMMORSVW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SwamyWSCL13,
author = {Nikhil Swamy and
Joel Weinberger and
Cole Schlesinger and
Juan Chen and
Benjamin Livshits},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Verifying higher-order programs with the dijkstra monad},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {387--398},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2491978},
doi = {10.1145/2491956.2491978},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SwamyWSCL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FournetSCDSL13,
author = {C{\'{e}}dric Fournet and
Nikhil Swamy and
Juan Chen and
Pierre{-}{\'{E}}variste Dagand and
Pierre{-}Yves Strub and
Benjamin Livshits},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Fully abstract compilation to JavaScript},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {371--384},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429114},
doi = {10.1145/2429069.2429114},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/FournetSCDSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LivshitsC13,
author = {Benjamin Livshits and
Stephen Chong},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Towards fully automatic placement of security sanitizers and declassifiers},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {385--398},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429115},
doi = {10.1145/2429069.2429115},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/LivshitsC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MadsenLF13,
author = {Magnus Madsen and
Benjamin Livshits and
Michael Fanning},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Practical static analysis of JavaScript applications in the presence
of frameworks and libraries},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {499--509},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2491417},
doi = {10.1145/2491411.2491417},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MadsenLF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/LivshitsJ13,
author = {Benjamin Livshits and
Jaeyeon Jung},
editor = {Samuel T. King},
title = {Automatic Mediation of Privacy-Sensitive Resource Access in Smartphone
Applications},
booktitle = {Proceedings of the 22th {USENIX} Security Symposium, Washington, DC,
USA, August 14-16, 2013},
pages = {113--130},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/usenixsecurity13/technical-sessions/presentation/livshits},
timestamp = {Mon, 01 Feb 2021 08:42:56 +0100},
biburl = {https://dblp.org/rec/conf/uss/LivshitsJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/JanaMMDLWO13,
author = {Suman Jana and
David Molnar and
Alexander Moshchuk and
Alan M. Dunn and
Benjamin Livshits and
Helen J. Wang and
Eyal Ofek},
editor = {Samuel T. King},
title = {Enabling Fine-Grained Permissions for Augmented Reality Applications
with Recognizers},
booktitle = {Proceedings of the 22th {USENIX} Security Symposium, Washington, DC,
USA, August 14-16, 2013},
pages = {415--430},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/usenixsecurity13/technical-sessions/presentation/jana},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/JanaMMDLWO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/essos/2013,
editor = {Jan J{\"{u}}rjens and
Benjamin Livshits and
Riccardo Scandariato},
title = {Engineering Secure Software and Systems - 5th International Symposium,
ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7781},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36563-8},
doi = {10.1007/978-3-642-36563-8},
isbn = {978-3-642-36562-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/GrossmanLBN12,
author = {Jeremiah Grossman and
Ben Livshits and
Rebecca Gurley Bace and
George V. Neville{-}Neil},
title = {Browser Security Case Study: Appearances Can Be Deceiving},
journal = {{ACM} Queue},
volume = {10},
number = {11},
pages = {30},
year = {2012},
url = {https://doi.org/10.1145/2390756.2399757},
doi = {10.1145/2390756.2399757},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/queue/GrossmanLBN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmmacns/Livshits12,
author = {Benjamin Livshits},
editor = {Igor V. Kotenko and
Victor A. Skormin},
title = {Finding Malware on a Web Scale},
booktitle = {Computer Network Security - 6th International Conference on Mathematical
Methods, Models and Architectures for Computer Network Security, {MMM-ACNS}
2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7531},
pages = {1--2},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33704-8\_1},
doi = {10.1007/978-3-642-33704-8\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/mmmacns/Livshits12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pet/DanezisKLR12,
author = {George Danezis and
Markulf Kohlweiss and
Benjamin Livshits and
Alfredo Rial},
editor = {Simone Fischer{-}H{\"{u}}bner and
Matthew K. Wright},
title = {Private Client-Side Profiling with Random Forests and Hidden Markov
Models},
booktitle = {Privacy Enhancing Technologies - 12th International Symposium, {PETS}
2012, Vigo, Spain, July 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7384},
pages = {18--37},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31680-7\_2},
doi = {10.1007/978-3-642-31680-7\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pet/DanezisKLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/VeanesHLMB12,
author = {Margus Veanes and
Pieter Hooimeijer and
Benjamin Livshits and
David Molnar and
Nikolaj S. Bj{\o}rner},
editor = {John Field and
Michael Hicks},
title = {Symbolic finite state transducers: algorithms and applications},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {137--150},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103674},
doi = {10.1145/2103656.2103674},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/VeanesHLMB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/KolbitschLZS12,
author = {Clemens Kolbitsch and
Benjamin Livshits and
Benjamin G. Zorn and
Christian Seifert},
title = {Rozzle: De-cloaking Internet Malware},
booktitle = {{IEEE} Symposium on Security and Privacy, {SP} 2012, 21-23 May 2012,
San Francisco, California, {USA}},
pages = {443--457},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SP.2012.48},
doi = {10.1109/SP.2012.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/KolbitschLZS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/essos/2012,
editor = {Gilles Barthe and
Benjamin Livshits and
Riccardo Scandariato},
title = {Engineering Secure Software and Systems - 4th International Symposium,
ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7159},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28166-2},
doi = {10.1007/978-3-642-28166-2},
isbn = {978-3-642-28165-5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DesmetJLS12,
author = {Lieven Desmet and
Martin Johns and
Benjamin Livshits and
Andrei Sabelfeld},
title = {Web Application Security (Dagstuhl Seminar 12401)},
journal = {Dagstuhl Reports},
volume = {2},
number = {10},
pages = {1--37},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.10.1},
doi = {10.4230/DAGREP.2.10.1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DesmetJLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/DanezisL11,
author = {George Danezis and
Benjamin Livshits},
editor = {Christian Cachin and
Thomas Ristenpart},
title = {Towards ensuring client-side computational integrity},
booktitle = {Proceedings of the 3rd {ACM} Cloud Computing Security Workshop, {CCSW}
2011, Chicago, IL, USA, October 21, 2011},
pages = {125--130},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2046660.2046683},
doi = {10.1145/2046660.2046683},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/DanezisL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/SaxenaML11,
author = {Prateek Saxena and
David Molnar and
Benjamin Livshits},
editor = {Yan Chen and
George Danezis and
Vitaly Shmatikov},
title = {{SCRIPTGARD:} automatic context-sensitive sanitization for large-scale
legacy web applications},
booktitle = {Proceedings of the 18th {ACM} Conference on Computer and Communications
Security, {CCS} 2011, Chicago, Illinois, USA, October 17-21, 2011},
pages = {601--614},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2046707.2046776},
doi = {10.1145/2046707.2046776},
timestamp = {Tue, 10 Nov 2020 19:56:39 +0100},
biburl = {https://dblp.org/rec/conf/ccs/SaxenaML11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/GuhaFLS11,
author = {Arjun Guha and
Matthew Fredrikson and
Benjamin Livshits and
Nikhil Swamy},
title = {Verified Security for Browser Extensions},
booktitle = {32nd {IEEE} Symposium on Security and Privacy, {SP} 2011, 22-25 May
2011, Berkeley, California, {USA}},
pages = {115--130},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SP.2011.36},
doi = {10.1109/SP.2011.36},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/GuhaFLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/FredriksonL11,
author = {Matthew Fredrikson and
Benjamin Livshits},
title = {RePriv: Re-imagining Content Personalization and In-browser Privacy},
booktitle = {32nd {IEEE} Symposium on Security and Privacy, {SP} 2011, 22-25 May
2011, Berkeley, California, {USA}},
pages = {131--146},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SP.2011.37},
doi = {10.1109/SP.2011.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/FredriksonL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/CurtsingerLZS11,
author = {Charlie Curtsinger and
Benjamin Livshits and
Benjamin G. Zorn and
Christian Seifert},
title = {{ZOZZLE:} Fast and Precise In-Browser JavaScript Malware Detection},
booktitle = {20th {USENIX} Security Symposium, San Francisco, CA, USA, August 8-12,
2011, Proceedings},
publisher = {{USENIX} Association},
year = {2011},
url = {http://static.usenix.org/events/sec11/tech/full\_papers/Curtsinger.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/CurtsingerLZS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/HooimeijerLMSV11,
author = {Pieter Hooimeijer and
Benjamin Livshits and
David Molnar and
Prateek Saxena and
Margus Veanes},
title = {Fast and Precise Sanitizer Analysis with {BEK}},
booktitle = {20th {USENIX} Security Symposium, San Francisco, CA, USA, August 8-12,
2011, Proceedings},
publisher = {{USENIX} Association},
year = {2011},
url = {http://static.usenix.org/events/sec11/tech/full\_papers/Hooimeijer.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/HooimeijerLMSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tweb/KicimanL10,
author = {Emre Kiciman and
V. Benjamin Livshits},
title = {AjaxScope: {A} Platform for Remotely Monitoring the Client-Side Behavior
of Web 2.0 Applications},
journal = {{ACM} Trans. Web},
volume = {4},
number = {4},
pages = {13:1--13:52},
year = {2010},
url = {https://doi.org/10.1145/1841909.1841910},
doi = {10.1145/1841909.1841910},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tweb/KicimanL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/KicimanLMW10,
author = {Emre Kiciman and
V. Benjamin Livshits and
Madanlal Musuvathi and
Kevin C. Webb},
editor = {Joseph M. Hellerstein and
Surajit Chaudhuri and
Mendel Rosenblum},
title = {Fluxo: a system for internet service programming by non-expert developers},
booktitle = {Proceedings of the 1st {ACM} Symposium on Cloud Computing, SoCC 2010,
Indianapolis, Indiana, USA, June 10-11, 2010},
pages = {107--118},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1807128.1807147},
doi = {10.1145/1807128.1807147},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloud/KicimanLMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/MeyerovichL10,
author = {Leo A. Meyerovich and
V. Benjamin Livshits},
title = {ConScript: Specifying and Enforcing Fine-Grained Security Policies
for JavaScript in the Browser},
booktitle = {31st {IEEE} Symposium on Security and Privacy, {SP} 2010, 16-19 May
2010, Berleley/Oakland, California, {USA}},
pages = {481--496},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SP.2010.36},
doi = {10.1109/SP.2010.36},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/MeyerovichL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webapps/RatanaworabhanLZ10,
author = {Paruj Ratanaworabhan and
Benjamin Livshits and
Benjamin G. Zorn},
editor = {John K. Ousterhout},
title = {JSMeter: Comparing the Behavior of JavaScript Benchmarks with Real
Web Applications},
booktitle = {{USENIX} Conference on Web Application Development, WebApps'10, Boston,
Massachusetts, USA, June 23-24, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/webapps-10/jsmeter-comparing-behavior-javascript-benchmarks-real-web-applications},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/webapps/RatanaworabhanLZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/VikramPL09,
author = {K. Vikram and
Abhishek Prateek and
V. Benjamin Livshits},
editor = {Ehab Al{-}Shaer and
Somesh Jha and
Angelos D. Keromytis},
title = {Ripley: automatically securing web 2.0 applications through replicated
execution},
booktitle = {Proceedings of the 2009 {ACM} Conference on Computer and Communications
Security, {CCS} 2009, Chicago, Illinois, USA, November 9-13, 2009},
pages = {173--186},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1653662.1653685},
doi = {10.1145/1653662.1653685},
timestamp = {Tue, 10 Nov 2020 19:58:07 +0100},
biburl = {https://dblp.org/rec/conf/ccs/VikramPL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/RasmussenKLM09,
author = {Alexander Rasmussen and
Emre Kiciman and
V. Benjamin Livshits and
Madanlal Musuvathi},
editor = {Wolfgang Schr{\"{o}}der{-}Preikschat and
John Wilkes and
Rebecca Isaacs},
title = {Improving the responsiveness of internet services with automatic cache
placement},
booktitle = {Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April
1-3, 2009},
pages = {27--32},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1519065.1519069},
doi = {10.1145/1519065.1519069},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/RasmussenKLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/KicimanLM09,
author = {Emre Kiciman and
V. Benjamin Livshits and
Madanlal Musuvathi},
editor = {Armando Fox},
title = {{FLUXO:} {A} Simple Service Compiler},
booktitle = {Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating
Systems, May 18-20, 2009, Monte Verit{\`{a}}, Switzerland},
publisher = {{USENIX} Association},
year = {2009},
url = {http://www.usenix.org/events/hotos09/tech/full\_papers/kiciman/kiciman.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/KicimanLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LivshitsNRB09,
author = {V. Benjamin Livshits and
Aditya V. Nori and
Sriram K. Rajamani and
Anindya Banerjee},
editor = {Michael Hind and
Amer Diwan},
title = {Merlin: specification inference for explicit information flow problems},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {75--86},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542485},
doi = {10.1145/1542476.1542485},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LivshitsNRB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KicimanLM09,
author = {Emre Kiciman and
Benjamin Livshits and
Madanlal Musuvathi},
editor = {Gilles Muller},
title = {CatchAndRetry: extending exceptions to handle distributed system failures
and recovery},
booktitle = {Proceedings of the Fifth Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
pages = {4:1--4:5},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1745438.1745444},
doi = {10.1145/1745438.1745444},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KicimanLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/GuarnieriL09,
author = {Salvatore Guarnieri and
V. Benjamin Livshits},
editor = {Fabian Monrose},
title = {{GATEKEEPER:} Mostly Static Enforcement of Security and Reliability
Policies for JavaScript Code},
booktitle = {18th {USENIX} Security Symposium, Montreal, Canada, August 10-14,
2009, Proceedings},
pages = {151--168},
publisher = {{USENIX} Association},
year = {2009},
url = {http://www.usenix.org/events/sec09/tech/full\_papers/guarnieri.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/GuarnieriL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/RatanaworabhanLZ09,
author = {Paruj Ratanaworabhan and
V. Benjamin Livshits and
Benjamin G. Zorn},
editor = {Fabian Monrose},
title = {{NOZZLE:} {A} Defense Against Heap-spraying Code Injection Attacks},
booktitle = {18th {USENIX} Security Symposium, Montreal, Canada, August 10-14,
2009, Proceedings},
pages = {169--186},
publisher = {{USENIX} Association},
year = {2009},
url = {http://www.usenix.org/events/sec09/tech/full\_papers/ratanaworabhan.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/RatanaworabhanLZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9141,
editor = {Dan Boneh and
{\'{U}}lfar Erlingsson and
Martin Johns and
Benjamin Livshits},
title = {Web Application Security, 29.03. - 03.04.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09141},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09141/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9141.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BonehEJL09,
author = {Dan Boneh and
{\'{U}}lfar Erlingsson and
Martin Johns and
Benjamin Livshits},
editor = {Dan Boneh and
{\'{U}}lfar Erlingsson and
Martin Johns and
Benjamin Livshits},
title = {09141 Abstracts Collection - Web Application Security},
booktitle = {Web Application Security, 29.03. - 03.04.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09141},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2726/},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BonehEJL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BonehEJL09a,
author = {Dan Boneh and
{\'{U}}lfar Erlingsson and
Martin Johns and
Benjamin Livshits},
editor = {Dan Boneh and
{\'{U}}lfar Erlingsson and
Martin Johns and
Benjamin Livshits},
title = {09141 Executive Summary - Web Application Security},
booktitle = {Web Application Security, 29.03. - 03.04.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09141},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2725/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BonehEJL09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/ManolescuBL08,
author = {Dragos Manolescu and
Brian Beckman and
V. Benjamin Livshits},
title = {Volta: Developing Distributed Applications by Recompiling},
journal = {{IEEE} Softw.},
volume = {25},
number = {5},
pages = {53--59},
year = {2008},
url = {https://doi.org/10.1109/MS.2008.131},
doi = {10.1109/MS.2008.131},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/ManolescuBL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LamMLW08,
author = {Monica S. Lam and
Michael C. Martin and
V. Benjamin Livshits and
John Whaley},
editor = {Robert Gl{\"{u}}ck and
Oege de Moor},
title = {Securing web applications with static and dynamic information flow
tracking},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco,
California, USA, January 7-8, 2008},
pages = {3--12},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328408.1328410},
doi = {10.1145/1328408.1328410},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LamMLW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LivshitsK08,
author = {V. Benjamin Livshits and
Emre Kiciman},
editor = {Mary Jean Harrold and
Gail C. Murphy},
title = {Doloto: code splitting for network-bound web 2.0 applications},
booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
November 9-14, 2008},
pages = {350--360},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1453101.1453151},
doi = {10.1145/1453101.1453151},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LivshitsK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/LivshitsC08,
author = {V. Benjamin Livshits and
Weidong Cui},
editor = {Rebecca Isaacs and
Yuanyuan Zhou},
title = {Spectator: Detection and Containment of JavaScript Worms},
booktitle = {Proceedings of the 2008 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2008, Boston, MA, USA, June 22-27, 2008. Proceedings},
pages = {335--348},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/usenix08/tech/full\_papers/livshits/livshits.pdf},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/LivshitsC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Livshits07,
author = {Benjamin Livshits},
title = {Improving software insecurity with precise static and runtime analysis},
school = {Stanford University, {USA}},
year = {2007},
url = {https://searchworks.stanford.edu/view/6773572},
timestamp = {Fri, 02 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Livshits07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/ErlingssonLX07,
author = {{\'{U}}lfar Erlingsson and
V. Benjamin Livshits and
Yinglian Xie},
editor = {Galen C. Hunt},
title = {End-to-End Web Application Security},
booktitle = {Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating
Systems, May 7-9, 2005, San Diego, California, {USA}},
publisher = {{USENIX} Association},
year = {2007},
url = {http://www.usenix.org/events/hotos07/tech/full\_papers/erlingsson/erlingsson.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/ErlingssonLX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LivshitsE07,
author = {V. Benjamin Livshits and
{\'{U}}lfar Erlingsson},
editor = {Michael W. Hicks},
title = {Using web application construction frameworks to protect against code
injection attacks},
booktitle = {Proceedings of the 2007 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2007, San Diego, California, USA, June 14, 2007},
pages = {95--104},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1255329.1255346},
doi = {10.1145/1255329.1255346},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LivshitsE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KicimanL07,
author = {Emre Kiciman and
V. Benjamin Livshits},
editor = {Thomas C. Bressoud and
M. Frans Kaashoek},
title = {AjaxScope: a platform for remotely monitoring the client-side behavior
of web 2.0 applications},
booktitle = {Proceedings of the 21st {ACM} Symposium on Operating Systems Principles
2007, {SOSP} 2007, Stevenson, Washington, USA, October 14-17, 2007},
pages = {17--30},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294261.1294264},
doi = {10.1145/1294261.1294264},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KicimanL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/ZimmermannBLL06,
author = {Thomas Zimmermann and
Silvia Breu and
Christian Lindig and
V. Benjamin Livshits},
editor = {Stephan Diehl and
Harald C. Gall and
Ahmed E. Hassan},
title = {Mining additions of method calls in ArgoUML},
booktitle = {Proceedings of the 2006 International Workshop on Mining Software
Repositories, {MSR} 2006, Shanghai, China, May 22-23, 2006},
pages = {169--170},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1137983.1138025},
doi = {10.1145/1137983.1138025},
timestamp = {Tue, 29 Dec 2020 18:36:57 +0100},
biburl = {https://dblp.org/rec/conf/msr/ZimmermannBLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BreuZLL06,
author = {Silvia Breu and
Thomas Zimmermann and
Christian Lindig and
V. Benjamin Livshits},
editor = {Siobh{\'{a}}n Clarke and
Leon Moonen and
Ganesan Ramalingam},
title = {Mining Additions of Method Calls in ArgoUML},
booktitle = {Aspects For Legacy Applications, 26.07. - 29.07.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06302},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/886},
timestamp = {Thu, 10 Jun 2021 13:02:08 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BreuZLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/LivshitsWL05,
author = {V. Benjamin Livshits and
John Whaley and
Monica S. Lam},
editor = {Kwangkeun Yi},
title = {Reflection Analysis for Java},
booktitle = {Programming Languages and Systems, Third Asian Symposium, {APLAS}
2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3780},
pages = {139--160},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575467\_11},
doi = {10.1007/11575467\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/LivshitsWL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AvotsDLL05,
author = {Dzintars Avots and
Michael Dalton and
V. Benjamin Livshits and
Monica S. Lam},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Improving software security with a {C} pointer analysis},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {332--341},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062520},
doi = {10.1145/1062455.1062520},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AvotsDLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MartinLL05,
author = {Michael C. Martin and
V. Benjamin Livshits and
Monica S. Lam},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Finding application errors and security flaws using {PQL:} a program
query language},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {365--383},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094840},
doi = {10.1145/1094811.1094840},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MartinLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/LamWLMACU05,
author = {Monica S. Lam and
John Whaley and
V. Benjamin Livshits and
Michael C. Martin and
Dzintars Avots and
Michael Carbin and
Christopher Unkel},
editor = {Chen Li},
title = {Context-sensitive program analysis as database queries},
booktitle = {Proceedings of the Twenty-fourth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland,
{USA}},
pages = {1--12},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065167.1065169},
doi = {10.1145/1065167.1065169},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/LamWLMACU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LivshitsZ05,
author = {V. Benjamin Livshits and
Thomas Zimmermann},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {DynaMine: finding common error patterns by mining software revision
histories},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {296--305},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081754},
doi = {10.1145/1081706.1081754},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LivshitsZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/LivshitsL05,
author = {V. Benjamin Livshits and
Monica S. Lam},
editor = {Patrick D. McDaniel},
title = {Finding Security Vulnerabilities in Java Applications with Static
Analysis},
booktitle = {Proceedings of the 14th {USENIX} Security Symposium, Baltimore, MD,
USA, July 31 - August 5, 2005},
publisher = {{USENIX} Association},
year = {2005},
url = {https://www.usenix.org/conference/14th-usenix-security-symposium/finding-security-vulnerabilities-java-applications-static},
timestamp = {Mon, 01 Feb 2021 08:42:55 +0100},
biburl = {https://dblp.org/rec/conf/uss/LivshitsL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LivshitsL03,
author = {V. Benjamin Livshits and
Monica S. Lam},
editor = {Jukka Paakki and
Paola Inverardi},
title = {Tracking pointers with path and context sensitivity for bug detection
in {C} programs},
booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
Software Engineering 2003 held jointly with 9th European Software
Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
1-5, 2003},
pages = {317--326},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/940071.940114},
doi = {10.1145/940071.940114},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LivshitsL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-20 00:41 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:
