Validation of decentralised smart contracts through game theory and formal methods

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9465, Issue , 2015, Pages 142-161

  Bigi, Giancarlo ^a   Bracciali, Andrea ^b   Meacci, Giovanni ^c,d   Tuosto, Emilio ^e  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF STIRLING   (United Kingdom)

^c BitHalo   (United States)

^d Coin Cube LLC ^*  (United States)

^e UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC MONEY; FORMAL METHODS;

DECENTRALISED; ENABLING TECHNOLOGIES; FORMAL MODEL; FUTURE APPLICATIONS;

GAME THEORY;

EID: 84943628481     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-25527-9_11     Document Type: Chapter

References (29)

1. Antonopoulos, A.: Mastering Bitcoin. O’Relly, San Francisco (2015)
2. Back, A.: Hashcash a denial of service counter-measure (2002). http://www.hashcash.org/papers/hashcash.pdf
3. Bartoletti, M., Cimoli, T., Zunino, R.: Compliance in behavioural contracts: a brief survey. In: Bodei, C., Ferrari, G.-L., Priami, C. (eds.) Programming Languages with Applications to Biology and Security-Colloquium in Honour of Pierpaolo Degano for his 65th Birthday. LNCS. Springer (2015) (to appear)
4. Bartoletti, M., Scalas, A., Tuosto, E., Zunino, R.: Honesty by typing. In: Beyer, D., Boreale, M. (eds.) FORTE 2013 and FMOODS 2013. LNCS, vol. 7892, pp. 305-320. Springer, Heidelberg (2013)
5. Basile, D., Degano, P., Ferrari, G.-L.: Automata for analysing service contracts. In: Maffei, M., Tuosto, E. (eds.) TGC 2014. LNCS, vol. 8902, pp. 34-50. Springer, Heidelberg (2014). http://dx.doi.org/10.1007/978-3-662-45917-13
6. Basile, D., Degano, P., Ferrari, G.L.: A formal framework for secure and complying services. J. Supercomput. 69(1), 43-52 (2014). http://dx.doi.org/10.1007/s11227-014-1211-0
7. BitHalo: https://bithalo.org/
8. Bianco, A., de Alfaro, L.: Model checking of probabilistic and nondeterministic systems. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol. 1026, pp. 499-513. Springer, Heidelberg (1995)
9. BitcoinWiki: Atomic trading. https://en.bitcoin.it/wiki/atomic cross-chain trading
10. BitcoinWiki: Script. https://en.bitcoin.it/wiki/script
11. BitcoinWiki: Smart property. https://en.bitcoin.it/wiki/Smart Property
12. Blockchain.info: Average transaction confirmation time. https://blockchain.info/charts/avg-confirmation-time
13. Dai, W.: b-money (1998). http://www.weidai.com/bmoney.txt
14. Dolev, D., Yao, A.: On the security of public key protocols. IEEE Trans. Inf. Theory 29(2), 198-208 (1983)
15. Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated verification techniques for probabilistic systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 53-113. Springer, Heidelberg (2011)
16. Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects Comput. 6(5), 512-535 (1994)
17. Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585-591. Springer, Heidelberg (2011)
18. Lawsky, B.M.: Bitlicense. http://www.dfs.ny.gov/legal/regulations/adoptions/dfsp200t.pdf
19. Lowe, G.: An attack on the Needham-Schroeder public-key authentication protocol. Inf. Process. Lett. 56(3), 131-133 (1995)
20. Malinowski, D., Mazurek, L., Andrychowicz, M., Dziembowski, S.: Secure multiparty computations on bitcoin. IACR Cryptology ePrint Archive, p. 784 (2013)
21. Muthoo, A.: Bargaining Theory with Applications. Cambridge University Press, Cambridge (1999)
22. Nakamoto, S.: Bitcoin: A peer-to-peer electronic cash system (2008). https://bitcoin.org/bitcoin.pdf
23. Needham, R., Schroeder, M.: Using encryption for authentication in large networks of computers. Commun. ACM 21(12), 993-999 (1978)
24. Osborne, M.J., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)
25. de Soto, H.P.: The property rights project. http://www.ild.org.pe
26. Szabo, N.: Formalizing and securing relationships on public networks. First Monday (1997). http://firstmonday.org/ojs/index.php/fm/article/view/548/469
27. Szabo, N.: The idea of smart contracts (1997). http://szabo.best.vwh.net/smartcontractsidea.html
28. VV.AA: Special report bitcoin. Bloomberg Briefs (2015). http://www.bloombergbriefs.com/
29. Zimbeck, D.: Two party double deposit trustless escrow in cryptographic networks and bitcoin (2014). https://bithalo.org/