LIPIcs, Volume 316, AFT 2024

• Rainer Böhme and Lucianna Kiffer LIPIcs, Volume 316, AFT 2024, Complete Volume 10.4230/LIPIcs.AFT.2024
• Rainer Böhme and Lucianna Kiffer Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.AFT.2024.0
• Miranda Christ, Kevin Choi, Walter McKelvie, Joseph Bonneau, and Tal Malkin Accountable Secret Leader Election 10.4230/LIPIcs.AFT.2024.1
• Mario M. Alvarez, Henry Arneson, Ben Berger, Lee Bousfield, Chris Buckland, Yafah Edelman, Edward W. Felten, Daniel Goldman, Raul Jordan, Mahimna Kelkar, Akaki Mamageishvili, Harry Ng, Aman Sanghi, Victor Shoup, and Terence Tsao BoLD: Fast and Cheap Dispute Resolution 10.4230/LIPIcs.AFT.2024.2
• Weizhao Tang, Peiyao Sheng, Ronghao Ni, Pronoy Roy, Xuechao Wang, Giulia Fanti, and Pramod Viswanath CFT-Forensics: High-Performance Byzantine Accountability for Crash Fault Tolerant Protocols 10.4230/LIPIcs.AFT.2024.3
• Vlasis Koutsos, Xiangan Tian, Dimitrios Papadopoulos, and Dimitris Chatzopoulos Cross Ledger Transaction Consistency for Financial Auditing 10.4230/LIPIcs.AFT.2024.4
• Peiyao Sheng, Ranvir Rana, Senthil Bala, Himanshu Tyagi, and Pramod Viswanath Proof of Diligence: Cryptoeconomic Security for Rollups 10.4230/LIPIcs.AFT.2024.5
• Stefanos Chaliasos, Itamar Reif, Adrià Torralba-Agell, Jens Ernstberger, Assimakis Kattis, and Benjamin Livshits Analyzing and Benchmarking ZK-Rollups 10.4230/LIPIcs.AFT.2024.6
• 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 10.4230/LIPIcs.AFT.2024.7
• Ertem Nusret Tas, David Tse, and Yifei Wang A Circuit Approach to Constructing Blockchains on Blockchains 10.4230/LIPIcs.AFT.2024.8
• Aggelos Kiayias, Elias Koutsoupias, Philip Lazos, and Giorgos Panagiotakos Blockchain Space Tokenization 10.4230/LIPIcs.AFT.2024.9
• Kaya Alpturer and S. Matthew Weinberg Optimal RANDAO Manipulation in Ethereum 10.4230/LIPIcs.AFT.2024.10
• Zeta Avarikioti, Paweł Kędzior, Tomasz Lizurej, and Tomasz Michalak Bribe & Fork: Cheap PCN Bribing Attacks via Forking Threat 10.4230/LIPIcs.AFT.2024.11
• Charmaine Ndolo and Florian Tschorsch Payment Censorship in the Lightning Network Despite Encrypted Communication 10.4230/LIPIcs.AFT.2024.12
• Zeta Avarikioti, Stefan Schmid, and Samarth Tiwari Musketeer: Incentive-Compatible Rebalancing for Payment Channel Networks 10.4230/LIPIcs.AFT.2024.13
• Miranda Christ, Foteini Baldimtsi, Konstantinos Kryptos Chalkias, Deepak Maram, Arnab Roy, and Joy Wang SoK: Zero-Knowledge Range Proofs 10.4230/LIPIcs.AFT.2024.14
• Arad Kotzer and Ori Rottenstreich Privacy Comparison for Bitcoin Light Client Implementations 10.4230/LIPIcs.AFT.2024.15
• Lulu Zhou, Zeyu Liu, Fan Zhang, and Michael K. Reiter CrudiTEE: A Stick-And-Carrot Approach to Building Trustworthy Cryptocurrency Wallets with TEEs 10.4230/LIPIcs.AFT.2024.16
• Miranda Christ, Kevin Choi, and Joseph Bonneau Cornucopia: Distributed Randomness at Scale 10.4230/LIPIcs.AFT.2024.17
• Ciamac C. Moallemi and Dan Robinson Loss-Versus-Fair: Efficiency of Dutch Auctions on Blockchains 10.4230/LIPIcs.AFT.2024.18
• Tarun Chitra, Matheus V. X. Ferreira, and Kshitij Kulkarni Credible, Optimal Auctions via Public Broadcast 10.4230/LIPIcs.AFT.2024.19
• Michael Neuder, Mallesh Pai, and Max Resnick Optimizing Exit Queues for Proof-Of-Stake Blockchains: A Mechanism Design Approach 10.4230/LIPIcs.AFT.2024.20
• Akaki Mamageishvili, Christoph Schlegel, and Benny Sudakov Searcher Competition in Block Building 10.4230/LIPIcs.AFT.2024.21
• Burak Öz, Danning Sui, Thomas Thiery, and Florian Matthes Who Wins Ethereum Block Building Auctions and Why? 10.4230/LIPIcs.AFT.2024.22
• Reza Rahimian and Jeremy Clark A Shortfall in Investor Expectations of Leveraged Tokens 10.4230/LIPIcs.AFT.2024.23
• Marilyne Ordekian, Gilberto Atondo-Siu, Alice Hutchings, and Marie Vasek Investigating Wrench Attacks: Physical Attacks Targeting Cryptocurrency Users 10.4230/LIPIcs.AFT.2024.24
• Viraj Nadkarni, Sanjeev Kulkarni, and Pramod Viswanath Adaptive Curves for Optimally Efficient Market Making 10.4230/LIPIcs.AFT.2024.25
• Ghada Almashaqbeh, Sixia Chen, and Alexander Russell Competitive Policies for Online Collateral Maintenance 10.4230/LIPIcs.AFT.2024.26
• Mahsa Bastankhah, Viraj Nadkarni, Chi Jin, Sanjeev Kulkarni, and Pramod Viswanath Thinking Fast and Slow: Data-Driven Adaptive DeFi Borrow-Lending Protocol 10.4230/LIPIcs.AFT.2024.27
• Rainer Feichtinger, Robin Fritsch, Lioba Heimbach, Yann Vonlanthen, and Roger Wattenhofer SoK: Attacks on DAOs 10.4230/LIPIcs.AFT.2024.28
• Maryam Bahrani, Pranav Garimidi, and Tim Roughgarden Transaction Fee Mechanism Design in a Post-MEV World 10.4230/LIPIcs.AFT.2024.29
• Linda Cai, Jingyi Liu, S. Matthew Weinberg, and Chenghan Zhou Profitable Manipulations of Cryptographic Self-Selection Are Statistically Detectable 10.4230/LIPIcs.AFT.2024.30