Applying Continuous Formal Methods to Cardano (Experience Report)
September 2024 — James Chapman, Arnaud Bailly, Polina Vinogradova
FUNARCH '24Where science meets purpose
Categories
Topics
Authors
Research Papers
Decentralization Analysis of Pooling Behavior in Cardano Proof of Stake
November 2022 — Christina Ovezik, Prof Aggelos Kiayias
ICAIF '22Ouroboros Leios: design goals and concepts
November 2022 — Duncan Coutts, Giorgos Panagiotakos, Matthias Fitzi
IOHKInterhead Hydra: Two Heads are Better than One
July 2022 — Maxim Jourenko, Mario Larangeira, Keisuke Tanaka
Cardano Disaster Recovery Plan
May 2021 — Christian Badertscher, Nicholas Clarke, Jared Corduan, Duncan Coutts, Peter Gaži, Philipp Kant, Prof Aggelos Kiayias, Prof Alexander Russell
IOHK