@article{roio2015d4,
  title={Design of Social Digital Currency},
  author={Roio, Denis and Sachy, Marco and Lucarelli, Stefano and Lietaer, Bernard and Bria, Francesca},
  year={2015},
  publisher={EU-FP7/D-CENT}
}


@article{sward2017data,
  title={Data Insertion in Bitcoin's Blockchain},
  author={Sward, Andrew and OP\_0, Vecna and Stonedahl, Forrest},
  year={2017}
}


@InProceedings{DBLP:conf/birthday/WegnerEB12,
  author	   = {Peter Wegner and Eugene Eberbach and Mark Burgin},
  title		   = {Computational Completeness of Interaction Machines
                  and Turing Machines},
  year		   = 2012,
  booktitle	   = {Turing-100 - The Alan Turing Centenary, Manchester,
                  UK, June 22-25, 2012},
  pages		   = {405-414},
  url		   = {http://www.easychair.org/publications/paper/106520},
  crossref	   = {DBLP:conf/birthday/2012turing},
  timestamp	   = {Tue, 25 Jul 2017 11:35:36 +0200},
  biburl	   = {http://dblp.org/rec/bib/conf/birthday/WegnerEB12},
  bibsource	   = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/birthday/2012turing,
  editor    = {Andrei Voronkov},
  title     = {Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25,
               2012},
  series    = {EPiC Series in Computing},
  volume    = {10},
  publisher = {EasyChair},
  year      = {2012},
  url       = {http://www.easychair.org/publications/?page=1900403647},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2012turing},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@InProceedings{DBLP:conf/ipps/PizkaR02,
  author	   = {Markus Pizka and Christian Rehn},
  title		   = {Heaps and Stacks in Distributed Shared Memory},
  year		   = 2002,
  booktitle	   = {16th International Parallel and Distributed
                  Processing Symposium {(IPDPS} 2002), 15-19 April
                  2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts
                  Proceedings},
  doi		   = {10.1109/IPDPS.2002.1016494},
  url		   = {https://doi.org/10.1109/IPDPS.2002.1016494},
  crossref	   = {DBLP:conf/ipps/2002},
  timestamp	   = {Wed, 24 May 2017 08:28:14 +0200},
  biburl	   = {http://dblp.org/rec/bib/conf/ipps/PizkaR02},
  bibsource	   = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/ipps/2002,
  title     = {16th International Parallel and Distributed Processing Symposium {(IPDPS}
               2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts
               Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7926},
  isbn      = {0-7695-1573-8},
  timestamp = {Fri, 01 Aug 2014 14:26:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ipps/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}}

@article{al2017chainspace,
  title={Chainspace: A Sharded Smart Contracts Platform},
  author={Al-Bassam, Mustafa and Sonnino, Alberto and Bano, Shehar and Hrycyszyn, Dave and Danezis, George},
  journal={arXiv preprint arXiv:1708.03778},
  year={2017}
}

@InProceedings{DBLP:conf/sp/WoodH15,
  author	   = {Kerry N. Wood and Richard E. Harang},
  title		   = {Grammatical Inference and Language Frameworks for
                  {LANGSEC}},
  year		   = 2015,
  booktitle	   = {2015 {IEEE} Symposium on Security and Privacy
                  Workshops, {SPW} 2015, San Jose, CA, USA, May 21-22,
                  2015},
  pages		   = {88-98},
  doi		   = {10.1109/SPW.2015.17},
  url		   = {https://doi.org/10.1109/SPW.2015.17},
  crossref	   = {DBLP:conf/sp/2015w},
  timestamp	   = {Fri, 26 May 2017 00:50:07 +0200},
  biburl	   = {http://dblp.org/rec/bib/conf/sp/WoodH15},
  bibsource	   = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/sp/2015w,
  title     = {2015 {IEEE} Symposium on Security and Privacy Workshops, {SPW} 2015,
               San Jose, CA, USA, May 21-22, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7160794},
  isbn      = {978-1-4799-9933-0},
  timestamp = {Tue, 10 May 2016 13:48:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sp/2015w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@InProceedings{DBLP:conf/secdev/MomotBHP16,
  author	   = {Falcon Momot and Sergey Bratus and Sven M. Hallberg
                  and Meredith L. Patterson},
  title		   = {The Seven Turrets of Babel: {A} Taxonomy of LangSec
                  Errors and How to Expunge Them},
  year		   = 2016,
  booktitle	   = {{IEEE} Cybersecurity Development, SecDev 2016,
                  Boston, MA, USA, November 3-4, 2016},
  pages		   = {45-52},
  doi		   = {10.1109/SecDev.2016.019},
  url		   = {https://doi.org/10.1109/SecDev.2016.019},
  crossref	   = {DBLP:conf/secdev/2016},
  timestamp	   = {Fri, 17 Nov 2017 10:29:37 +0100},
  biburl	   = {http://dblp.org/rec/bib/conf/secdev/MomotBHP16},
  bibsource	   = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/secdev/2016,
  title     = {{IEEE} Cybersecurity Development, SecDev 2016, Boston, MA, USA, November
               3-4, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7838558},
  isbn      = {978-1-5090-5589-0},
  timestamp = {Fri, 17 Nov 2017 10:29:37 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/secdev/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{costin2017lua,
  title={Lua code: security overview and practical approaches to static analysis},
  author={Costin, Andrei},
  year={2017}
}

@article{wood2014ethereum,
  title={Ethereum: A secure decentralised generalised transaction ledger},
  author={Wood, Gavin},
  journal={Ethereum Project Yellow Paper},
  volume={151},
  year={2014}
}

@Article{nakamoto2008bitcoin,
	author = {Nakamoto, Satoshi},
	title = {{Bitcoin: A peer-to-peer electronic cash system}},
	journal = {{Consulted}},
	volume = {{1}},
	pages = {2012},
	year = {2008},
}

@Article{aron2012bitcoin,
	Publisher = {{Elsevier}},
	author = {Aron, Jacob},
	title = {{BitCoin software finds new life}},
	journal = {{New Scientist}},
	volume = {{213}},
	number = {{2847}},
	pages = {20},
	year = {2012},
}

@article{mastercoin2013willett,
	url = {{https://github.com/mastercoin-MSC/spec}},
	author = {J. R. Willett},
	title = {{MasterCoin Complete Specification}},
	year = {2013},
}

@article{back2014enabling,
  title={Enabling blockchain innovations with pegged sidechains},
  author={Back, Adam and Corallo, Matt and Dashjr, Luke and Friedenbach, Mark and Maxwell, Gregory and Miller, Andrew and Poelstra, Andrew and Tim{\'o}n, Jorge and Wuille, Pieter},
  journal={URL: http://www. opensciencereview. com/papers/123/enablingblockchain-innovations-with-pegged-sidechains},
  year={2014}
}

@incollection{bocek2018smart,
  title={Smart Contracts--Blockchains in the Wings},
  author={Bocek, Thomas and Stiller, Burkhard},
  booktitle={Digital Marketplaces Unleashed},
  pages={169--184},
  year={2018},
  publisher={Springer}
}

@book{fowler2010domain,
  title={Domain-specific languages},
  author={Fowler, Martin},
  year={2010},
  publisher={Pearson Education}
}

@article{barrett2009satisfiability,
  title={Satisfiability Modulo Theories.},
  author={Barrett, Clark W and Sebastiani, Roberto and Seshia, Sanjit A and Tinelli, Cesare},
  journal={Handbook of satisfiability},
  volume={185},
  pages={825--885},
  year={2009}
}

@article{de2011satisfiability,
  title={Satisfiability modulo theories: introduction and applications},
  author={De Moura, Leonardo and Bj{\o}rner, Nikolaj},
  journal={Communications of the ACM},
  volume={54},
  number={9},
  pages={69--77},
  year={2011},
  publisher={ACM}
}

@article{o2017smart,
  title={Smart Contracts-Dumb Idea},
  author={O'Hara, Kieron},
  journal={IEEE Internet Computing},
  volume={21},
  number={2},
  pages={97--101},
  year={2017},
  publisher={IEEE}
}