Published in: LIPIcs, Volume 316, 6th Conference on Advances in Financial Technologies (AFT 2024)
Rundong Gan, Liyi Zhou, Le Wang, Kaihua Qin, and Xiaodong Lin. DeFiAligner: Leveraging Symbolic Analysis and Large Language Models for Inconsistency Detection in Decentralized Finance. In 6th Conference on Advances in Financial Technologies (AFT 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 316, pp. 7:1-7:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{gan_et_al:LIPIcs.AFT.2024.7, author = {Gan, Rundong and Zhou, Liyi and Wang, Le and Qin, Kaihua and Lin, Xiaodong}, title = {{DeFiAligner: Leveraging Symbolic Analysis and Large Language Models for Inconsistency Detection in Decentralized Finance}}, booktitle = {6th Conference on Advances in Financial Technologies (AFT 2024)}, pages = {7:1--7:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-345-4}, ISSN = {1868-8969}, year = {2024}, volume = {316}, editor = {B\"{o}hme, Rainer and Kiffer, Lucianna}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2024.7}, URN = {urn:nbn:de:0030-drops-209431}, doi = {10.4230/LIPIcs.AFT.2024.7}, annote = {Keywords: Decentralized Finance Security, Large Language Models, Project Review, Symbolic Analysis, Smart Contracts} }
Published in: LIPIcs, Volume 316, 6th Conference on Advances in Financial Technologies (AFT 2024)
Stefanos Chaliasos, Itamar Reif, Adrià Torralba-Agell, Jens Ernstberger, Assimakis Kattis, and Benjamin Livshits. Analyzing and Benchmarking ZK-Rollups. In 6th Conference on Advances in Financial Technologies (AFT 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 316, pp. 6:1-6:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{chaliasos_et_al:LIPIcs.AFT.2024.6, author = {Chaliasos, Stefanos and Reif, Itamar and Torralba-Agell, Adri\`{a} and Ernstberger, Jens and Kattis, Assimakis and Livshits, Benjamin}, title = {{Analyzing and Benchmarking ZK-Rollups}}, booktitle = {6th Conference on Advances in Financial Technologies (AFT 2024)}, pages = {6:1--6:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-345-4}, ISSN = {1868-8969}, year = {2024}, volume = {316}, editor = {B\"{o}hme, Rainer and Kiffer, Lucianna}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2024.6}, URN = {urn:nbn:de:0030-drops-209420}, doi = {10.4230/LIPIcs.AFT.2024.6}, annote = {Keywords: Zero-Knowledge Proofs, ZK-Rollups, Benchmarking, Blockchain Scalability} }
Published in: OASIcs, Volume 71, International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)
Aggelos Kiayias, Benjamin Livshits, Andrés Monteoliva Mosteiro, and Orfeas Stefanos Thyfronitis Litos. A Puff of Steem: Security Analysis of Decentralized Content Curation. In International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Open Access Series in Informatics (OASIcs), Volume 71, pp. 3:1-3:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{kiayias_et_al:OASIcs.Tokenomics.2019.3, author = {Kiayias, Aggelos and Livshits, Benjamin and Monteoliva Mosteiro, Andr\'{e}s and Thyfronitis Litos, Orfeas Stefanos}, title = {{A Puff of Steem: Security Analysis of Decentralized Content Curation}}, booktitle = {International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)}, pages = {3:1--3:21}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-108-5}, ISSN = {2190-6807}, year = {2020}, volume = {71}, editor = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2019.3}, URN = {urn:nbn:de:0030-drops-119675}, doi = {10.4230/OASIcs.Tokenomics.2019.3}, annote = {Keywords: blockchain, content curation, decentralized, voting} }
Published in: LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Thodoris Sotiropoulos and Benjamin Livshits. Static Analysis for Asynchronous JavaScript Programs. In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 134, pp. 8:1-8:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{sotiropoulos_et_al:LIPIcs.ECOOP.2019.8, author = {Sotiropoulos, Thodoris and Livshits, Benjamin}, title = {{Static Analysis for Asynchronous JavaScript Programs}}, booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)}, pages = {8:1--8:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-111-5}, ISSN = {1868-8969}, year = {2019}, volume = {134}, editor = {Donaldson, Alastair F.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.8}, URN = {urn:nbn:de:0030-drops-108007}, doi = {10.4230/LIPIcs.ECOOP.2019.8}, annote = {Keywords: static analysis, asynchrony, JavaScript} }
Published in: LIPIcs, Volume 32, 1st Summit on Advances in Programming Languages (SNAPL 2015)
Benjamin Livshits and Todd Mytkowicz. InterPoll: Crowd-Sourced Internet Polls. In 1st Summit on Advances in Programming Languages (SNAPL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 32, pp. 156-176, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{livshits_et_al:LIPIcs.SNAPL.2015.156, author = {Livshits, Benjamin and Mytkowicz, Todd}, title = {{InterPoll: Crowd-Sourced Internet Polls}}, booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)}, pages = {156--176}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-80-4}, ISSN = {1868-8969}, year = {2015}, volume = {32}, editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.156}, URN = {urn:nbn:de:0030-drops-50242}, doi = {10.4230/LIPIcs.SNAPL.2015.156}, annote = {Keywords: CrowdSourcing, Polling, LINQ} }
Published in: Dagstuhl Reports, Volume 2, Issue 10 (2013)
Lieven Desmet, Martin Johns, Benjamin Livshits, and Andrei Sabelfeld. Web Application Security (Dagstuhl Seminar 12401). In Dagstuhl Reports, Volume 2, Issue 10, pp. 1-37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{desmet_et_al:DagRep.2.10.1, author = {Desmet, Lieven and Johns, Martin and Livshits, Benjamin and Sabelfeld, Andrei}, title = {{Web Application Security (Dagstuhl Seminar 12401)}}, pages = {1--37}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {2}, number = {10}, editor = {Desmet, Lieven and Johns, Martin and Livshits, Benjamin and Sabelfeld, Andrei}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.1}, URN = {urn:nbn:de:0030-drops-39051}, doi = {10.4230/DagRep.2.10.1}, annote = {Keywords: Web application security, JavaScript, Secure interaction, Information flow, Secure composition, Application security, Web 2.0} }
Published in: Dagstuhl Seminar Proceedings, Volume 9141, Web Application Security (2010)
Dan Boneh, Ulfar Erlingsson, Martin Johns, and Benjamin Livshits. 09141 Abstracts Collection – Web Application Security. In Web Application Security. Dagstuhl Seminar Proceedings, Volume 9141, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{boneh_et_al:DagSemProc.09141.1, author = {Boneh, Dan and Erlingsson, Ulfar and Johns, Martin and Livshits, Benjamin}, title = {{09141 Abstracts Collection – Web Application Security}}, booktitle = {Web Application Security}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9141}, editor = {Dan Boneh and Ulfar Erlingsson and Martin Johns and Benjamin Livshits}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09141.1}, URN = {urn:nbn:de:0030-drops-27263}, doi = {10.4230/DagSemProc.09141.1}, annote = {Keywords: Web applications, Security, Ajax, Web 2.0, Analysis for security, Browser design, Distributed applications} }
Published in: Dagstuhl Seminar Proceedings, Volume 9141, Web Application Security (2010)
Dan Boneh, Ulfar Erlingsson, Martin Johns, and Benjamin Livshits. 09141 Executive Summary – Web Application Security. In Web Application Security. Dagstuhl Seminar Proceedings, Volume 9141, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{boneh_et_al:DagSemProc.09141.2, author = {Boneh, Dan and Erlingsson, Ulfar and Johns, Martin and Livshits, Benjamin}, title = {{09141 Executive Summary – Web Application Security}}, booktitle = {Web Application Security}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9141}, editor = {Dan Boneh and Ulfar Erlingsson and Martin Johns and Benjamin Livshits}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09141.2}, URN = {urn:nbn:de:0030-drops-27258}, doi = {10.4230/DagSemProc.09141.2}, annote = {Keywords: Web applications, Security, Ajax, Web 2.0, Analysis for security, Browser design, Distributed applications} }
Published in: Dagstuhl Seminar Proceedings, Volume 6302, Aspects For Legacy Applications (2007)
Silvia Breu, Thomas Zimmermann, Christian Lindig, and Benjamin Livshits. Mining Additions of Method Calls in ArgoUML. In Aspects For Legacy Applications. Dagstuhl Seminar Proceedings, Volume 6302, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{breu_et_al:DagSemProc.06302.6, author = {Breu, Silvia and Zimmermann, Thomas and Lindig, Christian and Livshits, Benjamin}, title = {{Mining Additions of Method Calls in ArgoUML}}, booktitle = {Aspects For Legacy Applications}, pages = {1--1}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6302}, editor = {Siobh\'{a}n Clarke and Leon Moonen and Ganesan Ramalingam}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06302.6}, URN = {urn:nbn:de:0030-drops-8865}, doi = {10.4230/DagSemProc.06302.6}, annote = {Keywords: Management, Measurement} }
Feedback for Dagstuhl Publishing