references.bib

@misc{small_step_semantics,
  author = {Formal Methods Team, IOHK},
  title  = {Small Step Semantics for Cardano},
  year   = {2018},
  url   = {https://hydra.iohk.io/job/Cardano/cardano-chain/semanticsSpec/latest/download/1/small-steps.pdf}
}

@misc{byron_ledger_spec,
  author = {Damian Nadales, IOHK \hypertarget{byron_ledger_spec_link}{}},
  title = {A Formal Specification of the Cardano Ledger},
  titleaddon = {(for the Byron release)},
  year = {2019},
  url   = {https://hydra.iohk.io/job/Cardano/cardano-ledger/byronLedgerSpec/latest/download/1/ledger-spec.pdf}
}

@misc{ouroboros,
  author = {Aggelos Kiayias and Alexander Russell and Bernardo David and Roman Oliynykov},
  title = {Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol},
  year = {2017},
  url   = {https://eprint.iacr.org/2016/889.pdf}
}

@misc{ouroboros_praos,
  author = {Bernardo David and Peter Gaži and Aggelos Kiayias and Alexander Russell},
  title = {Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol},
  year = {2017},
  url   = {https://eprint.iacr.org/2017/573.pdf}
}

@misc{ouroboros_bft,
  author = {Aggelos Kiayias and Alexander Russell},
  title = {Ouroboros-BFT: A Simple Byzantine Fault Tolerant Consensus Protocol},
  year = {2018},
  url   = {https://api.zotero.org/groups/478201/items/J6E2Q8L7/file/view?key=Qcjdk4erSuUZ8jvAah59Asef}
}

@misc{delegation_design,
  author = {Philipp Kant and Lars Br\"unjes and Duncan Coutts},
  title  = {Design Specification for Delegation and Incentives in
Cardano},
  year   = {2018},
  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/docs/delegation_design_spec},
}