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-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
From Lambda to Ledger: An Architectural Comparison of Plinth and PlutarchAugust 2026 — Seungheon Oh, Ziyang Liu, Prof Philip WadlerTo appear in: FUNARCH '26#haskell#smartcontract
Permissionless Consensus from a Common Random StringAugust 2026 — Damiano Abram, Marshall Ball, Juan Garay, Prof Aggelos KiayiasCrypto '26#consensus#proof-of-work
