Always secure and safer than ever, thanks to next-level smart contract verification on CardanoOctober 14 2025
Plutus moves to Midgard Labs, the next step in decentralizing Cardano's engineeringSeptember 17 2026 — Ivan Irakoze
Proactive Secret Sharing without ErasuresOctober 2026 — Alexandru Cojocaru, Aggelos Kiayias, Yu Shen, Petros WalldenTo appear in: Asiacrypt '26#postquantum
A Tight Analysis of GHOST ConsistencyOctober 2026 — Peter Gaži, Zahra Motaqy, Alexander RussellTo appear in: Asiacrypt '26#consensus
Crossing with Confidence: Formal Analysis and Model Checking of Blockchain BridgesOctober 2026 — Pyrros Chaidos, Pooya Farshim, Denis Firsov, Dimitar Jetchev, Aggelos Kiayias, Markulf Kohlweiss, Anca NitulescuTo appear in: Asiacrypt '26#threshold signatures#universal composition
Privacy Preserving Opinion AggregationOctober 2026 — Aggelos Kiayias, Vanessa Teagan, Orfeas Stefanos Thyfronitis LitosE-Vote-ID'26#privacy#smartcontract
Reserve Depletion and Security Runway in Proof-of-Stake SystemsOctober 2026 — Paolo Penna, Manvir SchneiderAFT '26#proof-of-stake#tokenomics
Adaptively Secure Fast Settlement with Dynamic Participation and Self-HealingSeptember 2026 — Christian Badertscher, Sandro Coretti, Peter Gaži, Aggelos Kiayias, Alexander RussellSCN '26#settlement
