Accepted Papers

Each presentation of the full/short paper will last up to 15 mins + 5 mins will be dedicated to questions. Note that many papers also have a poster in the poster session, along with pure poster contributions (see below).

System Security Track

• 9:30 | poqeth: Efficient, post-quantum signature verification on Ethereum (Ruslan Kysil, István András Seres, Péter Kutas, and Nándor Kelecsényi, Eötvös Loránd University)  

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

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

• 10:30 | How Much is Decentralization of Ethereum PoS Adversely Affected by Verifier's Dilemma and Staking Pools under Realistic Operational Costs? (Ivan Homoliak, Brno University of Technology and Slovak University of Technology; Martin Hrubý and Martin Perešíni, Brno University of Technology; Kristián Košťál, Slovak University of Technology; Daria Smuseva, Ca' Foscari University of Venice)

Smart Contracts Security & Safety

• 13:30 | A Verified Compiler for a Core Fragment of EVM Smart Contracts in Lean 4  (Thomas Marchand, LFG Labs)

• 13:50 | Vibe Fuzzing: A Verification-Driven Manual Methodology for AI-Assisted Construction of Manually-Guided Fuzz Tests in Wake (Naoki Yoshida and Josef Gattermayer, Czech Technical University in Prague)

• 14:10 | Security Tooling for Safe Multisig Wallets: Addressing the Off-Chain Verification Gap (Jan Fiala and Josef Gattermayer, Czech Technical University in Prague)

DeFi Track I

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

• 9:20 | Semantic Coherence Auditing in Decentralized Prediction Marketsl Networks (Seyyedmohammadreza Abtahi, University of Zurich; Amir-Reza Abtahi, Kharazmi University; Burkhard Stiller and Seyed Ahmdreza Abtahi, University of Zurich)

• 9:40 | A Hybrid Dutch Auction and Liquidity Bootstrapping Pool Mechanism for Token Distribution on Ethereum (Yulian Kisil and Adam Novocký, Slovak University of Technology)

DeFi Track II

• 10:15 | Contingent Claims Without Asset Representation (Richard Robertson, PredictionSwap)

• 10:35 | The Decoupling of Ethereum's Economic Activity and Asset Value (Jesus Perez Sanchez, Crypto Plaza)

Privacy Track

• 15:00 | Benchmarking Zero-Knowledge Proving Systems for Ethereum-Style Deployments in a Unified Framework (Matěj Hůlek and Martin Perešíni, Brno University of Technology)

• 15:20 | Systematizing Cryptocurrency Mixing: From Cryptographic Claims to Operational Privacy (Juraj Mariani and Martin Perešíni, Brno University of Technology; Ivan Homoliak, Brno University of Technology and Slovak University of Technology)

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 sessions. 

(Note that if the space allows, all posters from both poster sessions can be installed during both days - this will be confirmed on Friday morning, during initial opening.) 

Poster Session I

• On-chain audit representation for Solana (Yelyzaveta Kononenko, Czech Technical University in Prague)

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

• Proving Ethereum with Lattices  (Lukas Castven, Slovak University of Technology)

• Sybil-Resistant Identity Systems in Decentralized Environments (Michal Ľaš and Juraj Mariani, Brno University of Technology; Ivan Homoliak, Brno University of Technology and Slovak University of Technology) 

• zk-Census: Privacy-Preserving Decentralized Polling via Zero-Knowledge Eligibility and Verifiable Identity (Tomáš Hanák, Brno University of Technology; Ivan Homoliak, Brno University of Technology and Slovak University of Technology) 

• Scalability of Decentralized E-Voting on Blockchain (Jaroslav Podmajerský, Brno University of Technology; Ivan Homoliak, Brno University of Technology and Slovak University of Technology) 

• Security Tooling for Safe Multisig Wallets: Addressing the Off-Chain Verification Gap (Jan Fiala and Josef Gattermayer, Czech Technical University in Prague) 

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

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

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

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

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

• Recovery of EOAs delegated to ZeroDev Kernel using EIP-7702 (Martin Farkas and Lukas Mastilak, Slovak University of Technology)

Poster Session II

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

• Balthazar Wallet: Making Password Authentication Practical on Web3 via OPAQUE and Privacy-Preserving Smart Contracts  (Tomáš Krajčí and Samuel Olekšák, Brno University of Technology; Ivan Homoliak, Brno University of Technology and Slovak University of Technology) 

• Extension-Based Improvements to Capital Efficiency in DeFi Protocols (Adam Šmehýl, Brno University of Technology; Ivan Homoliak, Brno University of Technology and Slovak University of Technology) 

• 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, University of Nicosia) 

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

• Contingent Claims Without Asset Representation (Richard Robertson, PredictionSwap) 

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

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

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

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

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

Academic Panel

• Kristian Kostal (Slovak Technical University)

• Josef Gattermayer (Czech Technical University)

• Lennart Schwertfeger (Otto-von-Guericke University)

• Filip Rezabek (Technical University Munich)

• Martin Bok (University of Economics Prague)

• Ivan Homoliak (Brno University of Technology)