Formal Verification of Smart Contracts, Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS'16, pp.91-96, 2016. ,
DOI : 10.1145/2535838.2535889
URL : https://hal.archives-ouvertes.fr/hal-01400469
A Next-Generation Smart Contract and Decentralized Application Platform, pp.2016-2027, 2014. ,
Practical delegation of computation using multiple servers, Proceedings of the 18th ACM conference on Computer and communications security, CCS '11, pp.445-454, 2011. ,
DOI : 10.1145/2046707.2046759
Safer smart contracts through type-driven development, 2016. ,
How to verify computation with a rational network, 2016. ,
A scalable verification solution for blockchains, 2017. ,
Software Crisis, International Joutnal of Innovative Research in Technology, vol.1, 2014. ,
Prateek Saxena, and Aquinas Hobor Making Smart Contracts Smarter, Cryptology ePrint Archive, 2016. ,
DOI : 10.1145/2976749.2978309
URL : http://dl.acm.org/ft_gateway.cfm?id=2978309&type=pdf
Security Alert Solidity Variables can be overwritten in storage. https://blog.ethereum.org/2016/11/09/analysis-storage-corruption-bug, pp.2016-2028, 2016. ,
Deconstructing theDAO Attack: A Brief Code Tour. http://vessenes.com/deconstructing-thedao-attack-a-brief-code-tour, pp.2016-2028, 2016. ,
Ethereum: A Secure Decentralised Generalised Transaction Ledger Accessed, pp.2016-2028, 2015. ,