Always secure and safer than ever, thanks to next-level smart contract verification on CardanoOctober 14 2025
Adaptively Secure Fast Settlement with Dynamic Participation and Self-HealingMay 2026 — Christian Badertscher, Sandro Coretti, Peter Gaži, Prof Aggelos Kiayias, Prof Alexander Russell#settlement
Peregrine: a middle-end for code generation from proof assistantsMay 2026 — Eske Hoy Nielsen, Simon Dima, Lucas Escot, Orestis Melkonian, Hugo Segoufin-Cholet, James Chapman, Yannick Forster, Matthieu Sozeau, Bas SpittersTypes '26#agda#formalmethods
Incentivizing Geographic Diversity for Decentralized SystemsMarch 2026 — Marc Roeschlin, Evangelos Markakis, Raghav Bhaskar, Prof Aggelos KiayiasFinancial Cryptography 2026#game-theory#incentives
On Sybil-proofness in Restaking NetworksMarch 2026 — Tarun Chitra, Paolo Penna, Manvir SchneiderDeFi'26#game-theory#sybilproofness
SCRamble: Adaptive Decentralized Overlay Construction for Blockchain NetworksJanuary 2026 — Evangelos Kolyvas, Alexandros Antonov, Spyros VoulgarisICDCN '26#networking
Accelerated Preference Elicitation with LLM-Based ProxiesDecember 2025 — David Huang, Edwin Lock, Francisco Marmolejo-Cossio, David C. ParkesWINE '25#auctions