misc.bib

@article{bitcoin,
	Author = {Nakamoto, Satoshi},
	Title = {Bitcoin: A peer-to-peer electronic cash system},
	Year = {2008}}
@INPROCEEDINGS{Canetti02universallycomposable,
    author = {Ran Canetti and Yehuda Lindell and Rafail Ostrovsky and Amit Sahai},
    title = {Universally composable two-party and multi-party secure computation},
    booktitle = {34th ACM STOC},
    year = {2002}
}
@article{ethereum,
	Author = {Wood, Gavin},
	Title = {Ethereum: A Secure Decentralised Generalised Transaction Ledger},
	Year = {2014}}

@inproceedings{zexe,
  author    = {Sean Bowe and
               Alessandro Chiesa and
               Matthew Green and
               Ian Miers and
               Pratyush Mishra and
               Howard Wu},
  title     = {Zexe: Enabling Decentralized Private Computation},
  booktitle = {2020 {IEEE} Symposium on Security and Privacy},
  year      = {2020},
}

@misc{ethersize,
  author = {{E}therscan},
  title = {{E}thereum Sync (Default) Chart},
  howpublished = {\url{https://etherscan.io/chartsync/chaindefault}},
  year = {2019},
  publisher = {Etherscan.io}
}

@misc{erc20,
  author = {Fabian Vogelsteller and Vitalik Buterin},
  title = {{ERC}-20 Token Standard},
  howpublished = {\url{https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md}},
  year = {2015},
  publisher = {{E}thereum {F}oundation}
}

@misc{CKMM+19,
  title = {Functional Blockchain Contracts},
  author = {Manuel Chakravarty and Roman Kireev and Kenneth MacKenzie and Vanessa McHale and Jann M\"uller and
   Alexander Nemish and Chad Nester and Michael Peyton Jones and Simon Thompsona and Rebecca Valentine and Philip Wadler},
  howpublished = {\url{https://iohk.io/research/papers/#functional-blockchain-contracts}},
  year = {2019}
}

@inproceedings{ilc,
  author    = {Kevin Liao and
               Matthew A. Hammer and
               Andrew Miller},
  editor    = {Kathryn S. McKinley and
               Kathleen Fisher},
  title     = {{ILC:} a calculus for composable, computational cryptography},
  booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
               June 22-26, 2019},
  pages     = {640--654},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3314221.3314607},
  doi       = {10.1145/3314221.3314607},
  timestamp = {Mon, 08 Jul 2019 08:49:32 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/LiaoHM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{szabo1997formalizing,
  title={Formalizing and securing relationships on public networks},
  author={Szabo, Nick},
  journal={First Monday},
  volume={2},
  number={9},
  year={1997}
}

@techreport{ZKProofImplementationTrackProceeding,
    author = {Sean Bowe and Kobi Gurkan and Eran Tromer and Benedikt Bünz and Konstantinos Chalkias and Daniel Genkin and Jack Grigg and Daira Hopwood and Jason Law and Andrew Poelstra and abhi shelat and Muthu Venkitasubramaniam and Madars Virza and Riad S. Wahby and Pieter Wuille},
    title = {Implementation Track Proceeding},
    series = {ZKProof Track Proceedings},
    institution= {ZKProof Standards},
    publisher = {ZKProof.org},
    address = {Berkeley, CA},
    year = {2018},
    month = {May},
    note = {\url{https://zkproof.org/documents.html}}
}

@misc{zether,
    author = {Benedikt Bünz and Shashank Agrawal and Mahdi Zamani and Dan Boneh},
    title = {Zether: Towards Privacy in a Smart Contract World},
    howpublished = {Cryptology ePrint Archive, Report 2019/191},
    year = {2019},
    note = {\url{https://eprint.iacr.org/2019/191}},
}

@article{enigmapaper,
   author = {Guy Zyskind and Oz Nathan and Alex Pentland},
    title = "{Enigma: Decentralized Computation Platform with Guaranteed Privacy}",
  journal = {arXiv e-prints},
archivePrefix = "arXiv",
   eprint = {1506.03471},
 primaryClass = "cs.CR",
 keywords = {Computer Science - Cryptography and Security, Computer Science - Distributed, Parallel, and Cluster Computing},
     year = 2015,
    month = jun,
   adsurl = {https://ui.adsabs.harvard.edu/abs/2015arXiv150603471Z},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}

@misc{enigmawebsite,
  author = {The {E}nigma {P}roject Team},
  title = {What is {E}nigma?},
  howpublished = {\url{https://enigma.co/discovery-documentation/}},
  year = {2019},
}

@inproceedings{foreshadow,
  author    = {Jo Van Bulck and
               Marina Minkin and
               Ofir Weisse and
               Daniel Genkin and
               Baris Kasikci and
               Frank Piessens and
               Mark Silberstein and
               Thomas F. Wenisch and
               Yuval Yarom and
               Raoul Strackx},
  title     = {Foreshadow: Extracting the Keys to the Intel {SGX} Kingdom with Transient
               Out-of-Order Execution},
  booktitle = {27th {USENIX} Security Symposium, {USENIX} Security 2018, Baltimore,
               MD, USA, August 15-17, 2018.},
  pages     = {991--1008},
  year      = {2018},
  crossref  = {DBLP:conf/uss/2018},
  url       = {https://www.usenix.org/conference/usenixsecurity18/presentation/bulck},
  timestamp = {Wed, 31 Oct 2018 06:33:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/uss/BulckMWGKPSWYS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/uss/2018,
  editor    = {William Enck and
               Adrienne Porter Felt},
  title     = {27th {USENIX} Security Symposium, {USENIX} Security 2018, Baltimore,
               MD, USA, August 15-17, 2018},
  publisher = {{USENIX} Association},
  year      = {2018},
  url       = {https://www.usenix.org/conference/usenixsecurity18},
  timestamp = {Mon, 20 Aug 2018 15:16:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{bitmessage,
  title={Bitmessage: A peer-to-peer message authentication and delivery system},
  author={Warren, Jonathan},
  journal={white paper (27 November 2012), https://bitmessage. org/bitmessage. pdf},
  year={2012}
}

@inproceedings{namecoin,
  author    = {Harry A. Kalodner and
               Miles Carlsten and
               Paul Ellenbogen and
               Joseph Bonneau and
               Arvind Narayanan},
  title     = {An Empirical Study of Namecoin and Lessons for Decentralized Namespace
               Design},
  booktitle = {14th Annual Workshop on the Economics of Information Security, {WEIS}
               2015, Delft, The Netherlands, 22-23 June, 2015},
  year      = {2015},
  crossref  = {DBLP:conf/weis/2015},
  url       = {http://www.econinfosec.org/archive/weis2015/papers/WEIS\_2015\_kalodner.pdf},
  timestamp = {Fri, 13 Jan 2017 12:13:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/weis/KalodnerCEBN15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/weis/2015,
  title     = {14th Annual Workshop on the Economics of Information Security, {WEIS}
               2015, Delft, The Netherlands, 22-23 June, 2015},
  year      = {2015},
  url       = {http://www.econinfosec.org/archive/weis2015/},
  timestamp = {Fri, 13 Jan 2017 12:04:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/weis/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@misc{ethereumdos,
  author = {Jeffrey Wilcke},
  title = {The {E}thereum network is currently undergoing a {DoS} attack},
  howpublished = {\url{https://blog.ethereum.org/2016/09/22/ethereum-network-currently-undergoing-dos-attack/}},
  year = {2016},
  month = {September},
  publisher = {{E}thereum {F}oundation}
}

@article{statemachinereplication,
  author    = {Fred B. Schneider},
  title     = {Implementing Fault-Tolerant Services Using the State Machine Approach:
               {A} Tutorial},
  journal   = {{ACM} Comput. Surv.},
  volume    = {22},
  number    = {4},
  pages     = {299--319},
  year      = {1990},
  url       = {https://doi.org/10.1145/98163.98167},
  doi       = {10.1145/98163.98167},
  timestamp = {Wed, 14 Nov 2018 10:31:47 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/csur/Schneider90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{zokrates,
  author    = {Jacob Eberhardt and
               Stefan Tai},
  title     = {ZoKrates - Scalable Privacy-Preserving Off-Chain Computations},
  booktitle = {{IEEE} International Conference on Internet of Things (iThings) and
               {IEEE} Green Computing and Communications (GreenCom) and {IEEE} Cyber,
               Physical and Social Computing (CPSCom) and {IEEE} Smart Data (SmartData),
               iThings/GreenCom/CPSCom/SmartData 2018, Halifax, NS, Canada, July
               30 - August 3, 2018},
  pages     = {1084--1091},
  year      = {2018},
  crossref  = {DBLP:conf/ithings/2018},
  url       = {https://doi.org/10.1109/Cybermatics\_2018.2018.00199},
  doi       = {10.1109/Cybermatics\_2018.2018.00199},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ithings/EberhardtT18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ithings/2018,
  title     = {{IEEE} International Conference on Internet of Things (iThings) and
               {IEEE} Green Computing and Communications (GreenCom) and {IEEE} Cyber,
               Physical and Social Computing (CPSCom) and {IEEE} Smart Data (SmartData),
               iThings/GreenCom/CPSCom/SmartData 2018, Halifax, NS, Canada, July
               30 - August 3, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8716290/proceeding},
  isbn      = {978-1-5386-7975-3},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ithings/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{piperine,
    author = {Jonathan Lee and Kirill Nikitin and Srinath Setty},
    title = {Replicated state machines without replicated execution},
    howpublished = {Cryptology ePrint Archive, Report 2020/195},
    year = {2020},
    note = {\url{https://eprint.iacr.org/2020/195}},
}
@misc{pistis,
    author = {Thomas Kerber and Aggelos Kiayias and Markulf Kohlweiss},
    title = {Mining for Privacy: How to Bootstrap a Snarky Blockchain},
    howpublished = {Cryptology ePrint Archive, Report 2020/401},
    year = {2020},
    note = {\url{https://eprint.iacr.org/2020/401}},
}
@misc{fullversion,
    author = {Thomas Kerber and Aggelos Kiayias and Markulf Kohlweiss},
    title = {\kachina\ -- {F}oundations of Private Smart Contracts (Technical Report)},
    howpublished = {Cryptology ePrint Archive, Report 2020/543},
    year = {2020},
    note = {\url{https://eprint.iacr.org/2020/543.pdf}},
}

@inproceedings{cc,
  author    = {Ueli Maurer},
  editor    = {Sebastian M{\"{o}}dersheim and
               Catuscia Palamidessi},
  title     = {Constructive Cryptography - {A} New Paradigm for Security Definitions
               and Proofs},
  booktitle = {Theory of Security and Applications - Joint Workshop, {TOSCA} 2011,
               Saarbr{\"{u}}cken, Germany, March 31 - April 1, 2011, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6993},
  pages     = {33--56},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-27375-9\_3},
  doi       = {10.1007/978-3-642-27375-9\_3},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/tosca/Maurer11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{muc,
    author = {Jan Camenisch and Manu Drijvers and Björn Tackmann},
    title = {Multi-Protocol UC and its Use for Building Modular and Efficient Protocols},
    howpublished = {Cryptology ePrint Archive, Report 2019/065},
    year = {2019},
    note = {\url{https://eprint.iacr.org/2019/065}},
}