G. Barthe, C. Fournet, B. Grégoire, P. Strub, N. Swamy et al., Probabilistic relational verification for cryptographic implementations, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.193-205, 2014.
DOI : 10.1145/2535838.2535847

URL : https://hal.archives-ouvertes.fr/hal-00935743

V. Buterin, Critical update re: Dao vul- nerability. https://blog.ethereum.org, 2016.

. Ethereum, Solidity documentation ? Release 0.2.0. http://solidity.readthedocs, 2016.

. Ethereum, Solidity-browser. https://ethereum.github. io/browser-solidity, 2016.

J. Filliâtre and A. Paskevich, Why3 ??? Where Programs Meet Provers, 22nd European Symposium on Programming, ESOP '13, pp.125-128, 2013.
DOI : 10.1007/978-3-642-37036-6_8

L. Luu, D. Chu, H. Olickel, P. Saxena, and A. Hobor, Making Smart Contracts Smarter, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security , CCS'16, 2016.
DOI : 10.1145/2976749.2978309

S. Nakamoto, Bitcoin: A peer-to-peer electronic cash system

N. Swamy, C. Fournet, A. Rastogi, K. Bhargavan, J. Chen et al., Gradual typing embedded securely in JavaScript, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.425-438, 2014.
DOI : 10.1145/2535838.2535889

URL : https://hal.archives-ouvertes.fr/hal-00940836

N. Swamy, C. Hri¸tcuhri¸tcu, C. Keller, A. Rastogi, A. Delignat-lavaud et al., Dependent types and multimonadic effects in F*, 43rd Annual ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages, POPL '16, pp.256-270, 2016.
DOI : 10.1145/2914770.2837655

URL : https://hal.archives-ouvertes.fr/hal-01265793

G. Wood, Ethereum: A secure decentralised generalised transaction ledger