references.bib

@misc{small_step_semantics,
  label =  {CdoSem},
  author = {{Formal Methods Team, IOHK}},
  title  = {{Small Step Semantics for Cardano}},
  year   = {2018},
  url   = {https://github.com/input-output-hk/cardano-chain/blob/master/specs/semantics/latex/small-step-semantics.tex},
}


@misc{delegation_design,
  label =  {cdoDel},
  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/intersectmbo/cardano-ledger/tree/master/eras/shelley/design-spec/shelley-delegation.tex},
}

@article{chimeric,
  author  = {Joachim Zahnentferner},
  title   = {Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies},
  journal = {Cryptology ePrint Archive, Report 2018/262},
  year    = {2018},
  url     = {https://eprint.iacr.org/2018/262},
}

@article{utxo_scripts,
  author  = {Joachim Zahnentferner},
  title   = {An Abstract Model of UTxO-based Cryptocurrencies with Scripts},
  journal = {Cryptology ePrint Archive, Report 2018/469},
  year    = {2018},
  url     = {https://eprint.iacr.org/2018/469},
}

@article{multi_currency,
  author  = {Joachim Zahnentferner},
  title   = {Multi-Currency Ledgers},
  journal = {??},
  year    = {2018},
}

@techreport{cardano_consensus,
     title = {{The Cardano Consensus and Storage Layer}},
     author = {Edsko de Vries and Thomas Winant and Duncan Coutts},
     year = {2021},
     institution = {IOHK},
     url = {https://hydra.iohk.io/build/5265971/download/1/report.pdf}
}

@misc{shelley_spec,
  label = {CdoLedger},
  author = {{Formal Methods Team, IOHK}},
  title  = {{A Formal Specification of the Cardano Ledger}},
  year   = {2019},
  url = {https://github.com/intersectmbo/cardano-ledger/releases/latest/download/shelley-ledger.pdf}
}

@misc{shelley_ma_spec,
  label = {CdoLedger},
  author = {{Formal Methods Team, IOHK}},
  title  = {{A Formal Specification of the Cardano Ledger with a Native Multi-Asset Implementation}},
  year   = {2019},
  url = {https://github.com/intersectmbo/cardano-ledger/tree/master/eras/shelley-ma/formal-spec/mary-ledger.tex}
}

@misc{alonzo_spec,
  label = {CdoLedger},
  author = {{Formal Methods Team, IOHK}},
  title  = {{A Formal Specification of the Cardano Ledger with Plutus Integration}},
  year   = {2021},
  url = {https://github.com/intersectmbo/cardano-ledger/tree/master/eras/alonzo/formal-spec/alonzo-ledger.tex}
}

@misc{ouroboros,
    label = {CdoProt},
    author = {Aggelos Kiayias and Alexander Russell and Bernardo David and Roman Oliynykov},
    title = {Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol},
    howpublished = {Cryptology ePrint Archive, Report 2016/889},
    year = {2016},
    note = {\url{http://eprint.iacr.org/2016/889}},
}

@inproceedings{chakravarty2020extended,
  title={The extended UTXO model},
  author={Chakravarty, Manuel MT and Chapman, James and MacKenzie, Kenneth and Melkonian, Orestis and Jones, Michael Peyton and Wadler, Philip},
  booktitle={International Conference on Financial Cryptography and Data Security},
  pages={525--539},
  year={2020},
  organization={Springer},
  url={https://iohk.io/en/research/library/papers/the-extended-utxo-model/}
}

@misc{formal_multicur,
label = {CdoFMCUR},
author = {{Plutus Team, Ledger Team, IOHK}},
title = {{A Formal Specification of a UTxO Ledger with Scripts and Multi-Currency}},
year  = {2019},
url = {https://github.com/intersectmbo/cardano-ledger/blob/master/eras/shelley/formal-spec/scripts-multicurrency.tex}
}

@misc{multi_sig,
  label = {CdoMSIG},
  author = {{Formal Methods Team, IOHK}},
  title = {{A Formal Specification of a Multi-Signature Scheme using Scripts}},
  year  = {2019},
  url = {https://github.com/intersectmbo/cardano-ledger/blob/master/eras/shelley/formal-spec/multi-sig.tex}
}

@misc{non_int,
  label = {CdoNonInt},
  author = {{Matthias Gudemann}},
  title = {{A Specification of the Non-Integral Calculations in the Ledger}},
  year  = {2019},
  url = {https://github.com/intersectmbo/cardano-ledger/releases/latest/download/non-integer-calculations.pdf}
}

@misc{plutustech,
  author = {{Plutus Team}},
  title = {{The Plutus Platform: An IOHK technical report}},
  year  = {2021},
  url = {https://hydra.iohk.io/build/7244348/download/1/plutus.pdf}
}

@misc{plutuscore,
  author = {{Plutus Team}},
  title = {{Formal Specification of the Plutus Core Language}},
  year  = {2021},
  url = {https://hydra.iohk.io/build/7244320/download/1/plutus-core-specification.pdf}
}

@misc{vrf-range-extension,
    author = {Christian Badertscher and Peter Gaži and Iñigo Querejeta-Azurmendi and Alexander Russell},
    title = {On UC-Secure Range Extension and Batch Verification for ECVRF},
    year = {2022},
    url = {https://iohk.io/en/research/library/papers/on-uc-secure-range-extension-and-batch-verification-for-ecvrf}
}