Published in: LIPIcs, Volume 364, 43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026)
Leander Besting, Martin Hoefer, and Lars Huth. Computing Tarski Fixed Points in Financial Networks. In 43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 364, pp. 14:1-14:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{besting_et_al:LIPIcs.STACS.2026.14,
author = {Besting, Leander and Hoefer, Martin and Huth, Lars},
title = {{Computing Tarski Fixed Points in Financial Networks}},
booktitle = {43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026)},
pages = {14:1--14:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-412-3},
ISSN = {1868-8969},
year = {2026},
volume = {364},
editor = {Mahajan, Meena and Manea, Florin and McIver, Annabelle and Thắng, Nguy\~{ê}n Kim},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2026.14},
URN = {urn:nbn:de:0030-drops-255038},
doi = {10.4230/LIPIcs.STACS.2026.14},
annote = {Keywords: Tarski Fixed Points, Financial Networks, Minimal Clearing, Claims Trade}
}
Published in: LIPIcs, Volume 361, 29th International Conference on Principles of Distributed Systems (OPODIS 2025)
Andrei Arusoaie, Claudiu-Nicu Bărbieru, Oana-Otilia Captarencu, Pascal Felber, Corentin Libert, Emanuel Onica, Etienne Rivière, Valerio Schiavoni, and Peterson Yuhala. Where to Place Your TEE? In Search of a Censorship-Resilient Design for Rollup Sequencers. In 29th International Conference on Principles of Distributed Systems (OPODIS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 361, pp. 27:1-27:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{arusoaie_et_al:LIPIcs.OPODIS.2025.27,
author = {Arusoaie, Andrei and B\u{a}rbieru, Claudiu-Nicu and Captarencu, Oana-Otilia and Felber, Pascal and Libert, Corentin and Onica, Emanuel and Rivi\`{e}re, Etienne and Schiavoni, Valerio and Yuhala, Peterson},
title = {{Where to Place Your TEE? In Search of a Censorship-Resilient Design for Rollup Sequencers}},
booktitle = {29th International Conference on Principles of Distributed Systems (OPODIS 2025)},
pages = {27:1--27:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-409-3},
ISSN = {1868-8969},
year = {2026},
volume = {361},
editor = {Arusoaie, Andrei and Onica, Emanuel and Spear, Michael 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/LIPIcs.OPODIS.2025.27},
URN = {urn:nbn:de:0030-drops-252000},
doi = {10.4230/LIPIcs.OPODIS.2025.27},
annote = {Keywords: Rollups, Trusted Execution Environments, Censorship}
}
Published in: LIPIcs, Volume 354, 7th Conference on Advances in Financial Technologies (AFT 2025)
Fei Wu, Danning Sui, Thomas Thiery, and Mallesh Pai. Measuring CEX-DEX Extracted Value and Searcher Profitability: The Darkest of the MEV Dark Forest. In 7th Conference on Advances in Financial Technologies (AFT 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 354, pp. 26:1-26:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{wu_et_al:LIPIcs.AFT.2025.26,
author = {Wu, Fei and Sui, Danning and Thiery, Thomas and Pai, Mallesh},
title = {{Measuring CEX-DEX Extracted Value and Searcher Profitability: The Darkest of the MEV Dark Forest}},
booktitle = {7th Conference on Advances in Financial Technologies (AFT 2025)},
pages = {26:1--26:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-400-0},
ISSN = {1868-8969},
year = {2025},
volume = {354},
editor = {Avarikioti, Zeta and Christin, Nicolas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2025.26},
URN = {urn:nbn:de:0030-drops-247450},
doi = {10.4230/LIPIcs.AFT.2025.26},
annote = {Keywords: Decentralized Finance, Maximal Extractable Value, CEX-DEX arbitrages}
}
Published in: LIPIcs, Volume 330, 4th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2025)
Henri Froese, Martin Hoefer, and Lisa Wilhelmi. Dynamic Debt Swapping in Financial Networks. In 4th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 330, pp. 2:1-2:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{froese_et_al:LIPIcs.SAND.2025.2,
author = {Froese, Henri and Hoefer, Martin and Wilhelmi, Lisa},
title = {{Dynamic Debt Swapping in Financial Networks}},
booktitle = {4th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2025)},
pages = {2:1--2:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-368-3},
ISSN = {1868-8969},
year = {2025},
volume = {330},
editor = {Meeks, Kitty and Scheideler, Christian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2025.2},
URN = {urn:nbn:de:0030-drops-230550},
doi = {10.4230/LIPIcs.SAND.2025.2},
annote = {Keywords: Debt Swap, Financial Networks, Local Search}
}
Published in: LIPIcs, Volume 289, 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024)
Martin Hoefer, Carmine Ventre, and Lisa Wilhelmi. Algorithms for Claims Trading. In 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 289, pp. 42:1-42:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{hoefer_et_al:LIPIcs.STACS.2024.42,
author = {Hoefer, Martin and Ventre, Carmine and Wilhelmi, Lisa},
title = {{Algorithms for Claims Trading}},
booktitle = {41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024)},
pages = {42:1--42:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-311-9},
ISSN = {1868-8969},
year = {2024},
volume = {289},
editor = {Beyersdorff, Olaf and Kant\'{e}, Mamadou Moustapha and Kupferman, Orna and Lokshtanov, Daniel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.42},
URN = {urn:nbn:de:0030-drops-197523},
doi = {10.4230/LIPIcs.STACS.2024.42},
annote = {Keywords: Financial Networks, Claims Trade, Systemic Risk}
}
Published in: LIPIcs, Volume 229, 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)
Stavros D. Ioannidis, Bart de Keijzer, and Carmine Ventre. Strong Approximations and Irrationality in Financial Networks with Derivatives. In 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 229, pp. 76:1-76:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{ioannidis_et_al:LIPIcs.ICALP.2022.76,
author = {Ioannidis, Stavros D. and de Keijzer, Bart and Ventre, Carmine},
title = {{Strong Approximations and Irrationality in Financial Networks with Derivatives}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {76:1--76:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.76},
URN = {urn:nbn:de:0030-drops-164172},
doi = {10.4230/LIPIcs.ICALP.2022.76},
annote = {Keywords: FIXP, Financial Networks, Systemic Risk}
}
Published in: LIPIcs, Volume 168, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)
Bart de Keijzer, Maria Kyropoulou, and Carmine Ventre. Obviously Strategyproof Single-Minded Combinatorial Auctions. In 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 168, pp. 71:1-71:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{dekeijzer_et_al:LIPIcs.ICALP.2020.71,
author = {de Keijzer, Bart and Kyropoulou, Maria and Ventre, Carmine},
title = {{Obviously Strategyproof Single-Minded Combinatorial Auctions}},
booktitle = {47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)},
pages = {71:1--71:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-138-2},
ISSN = {1868-8969},
year = {2020},
volume = {168},
editor = {Czumaj, Artur and Dawar, Anuj and Merelli, Emanuela},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.71},
URN = {urn:nbn:de:0030-drops-124781},
doi = {10.4230/LIPIcs.ICALP.2020.71},
annote = {Keywords: OSP Mechanisms, Extensive-form Mechanisms, Single-minded Combinatorial Auctions, Greedy algorithms}
}
Published in: LIPIcs, Volume 144, 27th Annual European Symposium on Algorithms (ESA 2019)
Diodato Ferraioli, Adrian Meier, Paolo Penna, and Carmine Ventre. Obviously Strategyproof Mechanisms for Machine Scheduling. In 27th Annual European Symposium on Algorithms (ESA 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 144, pp. 46:1-46:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{ferraioli_et_al:LIPIcs.ESA.2019.46,
author = {Ferraioli, Diodato and Meier, Adrian and Penna, Paolo and Ventre, Carmine},
title = {{Obviously Strategyproof Mechanisms for Machine Scheduling}},
booktitle = {27th Annual European Symposium on Algorithms (ESA 2019)},
pages = {46:1--46:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-124-5},
ISSN = {1868-8969},
year = {2019},
volume = {144},
editor = {Bender, Michael A. and Svensson, Ola and Herman, Grzegorz},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2019.46},
URN = {urn:nbn:de:0030-drops-111677},
doi = {10.4230/LIPIcs.ESA.2019.46},
annote = {Keywords: Bounded Rationality, Extensive-form Mechanisms, Approximate Mechanism Design}
}