Always secure and safer than ever, thanks to next-level smart contract verification on CardanoOctober 14 2025
Cardano's core protocol work continues in the same hands, now at BlockPQRAugust 26 2026 — Ivan Irakoze
Multi-Instance Unrecoverability of iMHF-Based Password HashingSeptember 2026 — Charles Dodd, Pooya Farshim, Siamak F. Shahandashti, Karl SouthernTo appear in: ESORICS '26#cryptography#provable-security
Improved Approximation Guarantees for Groupwise Maximin Share FairnessSeptember 2026 — Georgios Amanatidis, Anna Korfati, Markakis, Evangelos, Christodoulos SantorinaiosTo apppear in: SAGT '26#game-theory
Adaptively Secure Fast Settlement with Dynamic Participation and Self-HealingSeptember 2026 — Christian Badertscher, Sandro Coretti, Peter Gaži, Prof Aggelos Kiayias, Prof Alexander RussellTo appear in: SCN '26#settlement
Strategic Validator Liquidation in Proof-of-Stake TokenomicsSeptember 2026 — Lingxiao Zhao, Madalina Sas, Carmine VentreTo appear in: MARBLE '26#game-theory#proof-of-stake#tokenomics
Do Not Discretize, Optimize: Almost Greedy Fictitious PlayAugust 2026 — Evangelos Markakis, Christodoulos SantorinaiosIJCAI '26#game-theory
Fast Difficulty Adjustment in Proof-of-Work ConsensusAugust 2026 — Juan Garay, Prof Aggelos Kiayias, Yu ShenCrypto '26#consensus
