Adaptively Secure Fast Settlement with Dynamic Participation and Self-Healing
May 2026 — Christian Badertscher, Sandro Coretti, Peter Gaži, Prof Aggelos Kiayias, Prof Alexander Russell
To appear in: SCN '26Where science meets purpose
Categories
Topics
Authors
Research Papers
Future Monitors in Optimistic Rollups
May 2026 — Margarita Capretto, Martin Ceresa, Cesar Sanchez
FMBC '26Grassroots Federation: Fair Democratic Governance at Scale
May 2026 — Nimrod Talmon, Ehud Shapiro
AAMAS '26Peregrine: a middle-end for code generation from proof assistants
May 2026 — Eske Hoy Nielsen, Simon Dima, Lucas Escot, Orestis Melkonian, Hugo Segoufin-Cholet, James Chapman, Yannick Forster, Matthieu Sozeau, Bas Spitters
Types '26Succinctly Verifiable Computation over Additively-Homomorphically Encrypted Data: Making Privacy-Preserving Blueprints Practical
May 2026 — Scott Griffy, Markulf Kohlweiss, Anna Lysyanskaya, Meghna Sengupta
PKC '26UC4Free! Existing Threshold Signatures are UC Secure
May 2026 — Jan Bobolz, Elizabeth Crites, Markulf Kohlweiss, Akira Takahashi
Eurocrypt '26Incentivizing Geographic Diversity for Decentralized Systems
March 2026 — Marc Roeschlin, Evangelos Markakis, Raghav Bhaskar, Prof Aggelos Kiayias
Financial Cryptography 2026On Sybil-proofness in Restaking Networks
March 2026 — Tarun Chitra, Paolo Penna, Manvir Schneider
DeFi '26SCRamble: Adaptive Decentralized Overlay Construction for Blockchain Networks
January 2026 — Evangelos Kolyvas, Alexandros Antonov, Spyros Voulgaris
ICDCN '26Accelerated Preference Elicitation with LLM-Based Proxies
December 2025 — David Huang, Edwin Lock, Francisco Marmolejo-Cossio, David C. Parkes
WINE '25One-dimensional vs. Multi-dimensional Pricing in Blockchain Protocols
December 2025 — Prof Aggelos Kiayias, Prof Elias Koutsoupias, Giorgos Panagiotakos, Kyriaki Zioga
WINE '25Taming Iterative Grinding Attacks on Blockchain Beacons
December 2025 — Peter Gaži, Saad Quader, Prof Alexander Russell
Asiacrypt '25Universally Composable Transaction Order Fairness: Refined Definitions and Adaptive Security
December 2025 — Michele Ciampi, Prof Aggelos Kiayias, Yu Shen
Asiacrypt '25Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes
November 2025 — Maxim Jourenko, Marcus Völker
CANS 2025Efficient and Proof-of-Useful-Work Friendly Local-Search for Distributed Consensus
November 2025 — Matthias Fitzi, Prof Aggelos Kiayias, Laurent Michel, Giorgos Panagiotakos, Alexander Russel
ePrint ArchiveA Dynamic Approach to Collaborative Document Writing
October 2025 — Avital Finanser, Nimrod Talmon
ECAI '25A Layered Certifying Compiler Architecture
October 2025 — Jacco Krijnen, Wouter Swierstra, Manuel Chakravarty, Joris Dral, Gabriele Keller
FUNARCH '25A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
October 2025 — Margarita Capretto, Martin Ceresa, Antonio Fernandez Anta, Pedro Moreno-Sanchez
ACM CCS '25Modal Abstractions for Smart Contract Validation
October 2025 — Javier Godoy, Margarita Capretto, Martin Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, Cesar Sanchez, Sebastian Uchitel
MODELS 25