Accepted Papers

Each presentation of the full/short paper will last up to 15 mins + 5 mins will be dedicated to questions.

System Security Track

• poqeth: Efficient, post-quantum signature verification on Ethereum (Ruslan Kysil, István András Seres, Péter Kutas, and Nándor Kelecsényi)  

• Simulation-Based Evaluation of MEV Mitigations in Ethereum Proof-of-Stake: Encrypted Mempools, Permutation, and Block Delay  (Simona Češková, Martin Perešíni, and Ivan Homoliak)

• Single Secret Leader Election in Ethereum PoS: An Empirical Study of Whisk and Homomorphic Sortition under DoS on the Leader and Censorship (Tereza Burianová, Martin Perešíni, and Ivan Homoliak) 

• How Much is Decentralization of Ethereum PoS Adversely Affected by Verifier's Dilemma and Staking Pools under Realistic Operational Costs? (Ivan Homoliak, Martin Hrubý, Martin Perešíni, Kristián Košťál, and Daria Smuseva)

Smart Contracts Security & Safety

• A Verified Compiler for a Core Fragment of EVM Smart Contracts in Lean 4  (Thomas Marchand )

• Vibe Fuzzing: A Verification-Driven Manual Methodology for AI-Assisted Construction of Manually-Guided Fuzz Tests in Wake (Naoki Yoshida and Josef Gattermayer )

• Security Tooling for Safe Multisig Wallets: Addressing the Off-Chain Verification Gap (Jan Fiala and Josef Gattermayer)

DeFi Track I

• Comparing On-Chain Order Book Data Structures: Gas Costs, Market Quality, and Deployment Guidelines Across EVM Chains (Adam Novocký and Kristián Košťál)

• Semantic Coherence Auditing in Decentralized Prediction Marketsl Networks (Seyyedmohammadreza Abtahi, Amir-Reza Abtahi, Burkhard Stiller, and Seyed Ahmdreza Abtahi)

• A Hybrid Dutch Auction and Liquidity Bootstrapping Pool Mechanism for Token Distribution on Ethereum (Yulian Kisil and Adam Novocký )

DeFi Track II

• Contingent Claims Without Asset Representation (Richard Robertson )

• The Decoupling of Ethereum's Economic Activity and Asset Value (Jesus Perez Sanchez)

Privacy Track

• Benchmarking Zero-Knowledge Proving Systems for Ethereum-Style Deployments in a Unified Framework (Matěj Hůlek and Martin Perešíni)

• Systematizing Cryptocurrency Mixing: From Cryptographic Claims to Operational Privacy (Juraj Mariani, Martin Perešíni, and Ivan Homoliak)

Accepted Posters

The posters should be installed from morning until the end of the symposium day. The authors of posters might interact with the audience during coffee breaks as well as during the poster session. (Note that if the space allows, all posters from both poster sessions can be installed during both days.) 

Poster Session I

• On-chain audit representation for Solana (Yelyzaveta Kononenko)

• Proof-of-Uniqueness: A Decentralized Approach to Privacy-Preserving Identity Verification based on zk-SNARKs (Adam Vožda and Ivan Homoliak) 

• Proving Ethereum with Lattices  (Lukas Castven)

• Sybil-Resistant Identity Systems in Decentralized Environments (Michal Ľaš, Juraj Mariani, and Ivan Homoliak) 

• zk-Census: Privacy-Preserving Decentralized Polling via Zero-Knowledge Eligibility and Verifiable Identity (Tomáš Hanák and Ivan Homoliak) 

• Scalability of Decentralized E-Voting on Blockchain (Jaroslav Podmajerský and Ivan Homoliak) 

• Security Tooling for Safe Multisig Wallets: Addressing the Off-Chain Verification Gap (Jan Fiala and Josef Gattermayer) 

• Vibe Fuzzing: A Verification-Driven Manual Methodology for AI-Assisted Construction of Manually-Guided Fuzz Tests in Wake (Naoki Yoshida and Josef Gattermayer)

• Single Secret Leader Election in Ethereum PoS: An Empirical Study of Whisk and Homomorphic Sortition under DoS on the Leader and Censorship (Tereza Burianová, Martin Perešíni, and Ivan Homoliak) 

• How Much is Decentralization of Ethereum PoS Adversely Affected by Verifier's Dilemma and Staking Pools under Realistic Operational Costs?  (Ivan Homoliak, Martin Hrubý, Martin Perešíni, Kristián Košťál, and Daria Smuseva)

• Benchmarking Zero-Knowledge Proving Systems for Ethereum-Style Deployments in a Unified Framework  (Matěj Hůlek and Martin Perešíni) 

• Simulation-Based Evaluation of MEV Mitigations in Ethereum Proof-of-Stake: Encrypted Mempools, Permutation, and Block Delay  (Simona Češková, Martin Perešíni, and Ivan Homoliak) 

Poster Session II

• A Hybrid Dutch Auction and Liquidity Bootstrapping Pool Mechanism for Token Distribution on Ethereum (Yulian Kisil and Adam Novocký) 

• Balthazar Wallet: Making Password Authentication Practical on Web3 via OPAQUE and Privacy-Preserving Smart Contracts  (Tomas Krajci, Samuel Oleksak, and Ivan Homoliak) 

• Extension-Based Improvements to Capital Efficiency in DeFi Protocols (Adam Šmehýl and Ivan Homoliak) 

• When Does Tokenization Outperform? A Cross-Dataset Framework from Stablecoin Velocity, Tokenized-Credit Defaults, and Ethereum Gas Dynamics for Emerging-Economy Finance (Francisco Cordoba and Marinos Themistocleous) 

• The Decoupling of Ethereum's Economic Activity and Asset Value (Jesus Perez Sanchez) 

• Contingent Claims Without Asset Representation (Richard Robertson) 

• Comparing On-Chain Order Book Data Structures: Gas Costs, Market Quality, and Deployment Guidelines Across EVM Chains (Adam Novocký and Kristián Košťál) 

• InMediaVeritas: A Decentralized News Verification DApp Using zk-SNARKs and Blockchain Consensus (Jakub Ivácek, Patrik Baran, Vojtech Babinský, Tomáš Miština, Matúš Hrkeľ, Tomáš Tisovský, Richard Gazdík, and Ivan Homoliak) 

• SNARK Marketplace with Proof of Useful Work (Samuel Olekšák, Richard Gazdík, Martin Perešíni, and Ivan Homoliak) 

• Using zero-knowledge proofs on the consensus layer of Ethereum (Katarína Valová and Kristián Košťál) 

• Achieving End-to-End Privacy in ZK-Rollups through Confidential Smart Contracts (Chanderprakash Sharma)