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
Critical update re: Dao vul- nerability. https://blog.ethereum.org, 2016. ,
Solidity documentation ? Release 0.2.0. http://solidity.readthedocs, 2016. ,
Solidity-browser. https://ethereum.github. io/browser-solidity, 2016. ,
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
Making Smart Contracts Smarter, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security , CCS'16, 2016. ,
DOI : 10.1145/2976749.2978309
Bitcoin: A peer-to-peer electronic cash system ,
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
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
Ethereum: A secure decentralised generalised transaction ledger ,