8:30 Installing Posters
9:10 Opening
9:30 System Security Track (4 papers)
10:50 Coffee Break
11:00 Keynote - Jan Gorzny
12:00 Lunch Break
13:30 Smart Contracts Security & Safety (4 papers)
14:50 Coffee Break
15:00 Poster Session I
16:00 End
8:30 Installing Posters
9:00 DeFi Track I (3 papers)
10:00 Coffee Break
10:15 DeFi Track II (2 papers)
11:00 Keynote - Mark Richardson
12:00 Coffee Break
13:00 Poster Session II
14:00 Keynote - Krzysztof Paruch
14:50 Coffee Break
15:00 Academic panel
16:00 Privacy Track (2 papers)
16:45 Closing Remarks & Best Paper Award
17:15 End
Each presentation of the full/short paper will last up to 15 mins + 5 mins will be dedicated to questions.
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)
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)
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ý )
Contingent Claims Without Asset Representation (Richard Robertson )
The Decoupling of Ethereum's Economic Activity and Asset Value (Jesus Perez Sanchez)
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)
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.)
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)
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)