233 lines
8.0 KiB
BibTeX
233 lines
8.0 KiB
BibTeX
|
|
||
|
|
@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}
|
||
|
|
}
|