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

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

G. Wood, C. Reitwiessner, A. Beregszaszi, and Y. Hirai, The solidity contract-oriented programming language, 2019.

V. Buterin and F. Vogelsteller, Erc-20 token standard, 2017.

W. Entriken, D. Shirley, J. Evans, and N. Sachs, Erc-721: Non-fungible token standard, 2017.

D. Eigenmann and J. Izquierdo, Erc900: Simple staking interface

N. Atzei, M. Bartoletti, and T. Cimoli, A survey of attacks on ethereum smart contracts (sok), Principles of Security and Trust: 6th International Conference, pp.164-186, 2017.

M. Bartoletti and L. Pompianu, An empirical analysis of smart contracts: Platforms, applications, and design patterns, CoRR, 2017.

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, ser. CCS '16, pp.254-269, 2016.

I. Grishchenko, M. Maffei, and C. Schneidewind, A semantic framework for the security analysis of ethereum smart contracts, pp.243-269, 2018.

E. Hildenbrandt, M. Saxena, N. Rodrigues, X. Zhu, P. Daian et al., KEVM: a complete formal semantics of the ethereum virtual machine, 31st IEEE Computer Security Foundations Symposium, pp.204-217, 2018.

E. Albert, P. Gordillo, B. Livshits, A. Rubio, and I. Sergey, Ethir: A framework for high-level analysis of ethereum bytecode, Automated Technology for Verification and Analysis -16th International Symposium, ATVA 2018, vol.11138, pp.513-520, 2018.

P. Tsankov, A. Dan, D. Drachsler-cohen, A. Gervais, F. Bünzli et al., Securify: Practical security analysis of smart contracts, Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, ser. CCS '18, pp.67-82, 2018.

I. Nikoli?, A. Kolluri, I. Sergey, P. Saxena, and A. Hobor, Finding the greedy, prodigal, and suicidal contracts at scale, Proceedings of the 34th Annual Computer Security Applications Conference, ser. ACSAC '18, pp.653-663, 2018.

I. Sergey, A. Kumar, and A. Hobor, Temporal properties of smart contracts, ser. Lecture Notes in Computer Science, vol.11247, pp.323-338, 2018.

J. Chang, B. Gao, H. Xiao, J. Sun, and Z. Yang, Scompile: Critical path identification and analysis for smart contracts, CoRR, 2018.

L. Brent, A. Jurisevic, M. Kong, E. Liu, F. Gauthier et al., Vandal: A scalable security analysis framework for smart contracts, CoRR, 2018.

N. Grech, M. Kong, A. Jurisevic, L. Brent, B. Scholz et al., Madmax: Surviving out-of-gas conditions in ethereum smart contracts, OOPSLA, vol.2, pp.1-116, 2018.

Z. Yang and H. Lei, Lolisa: Formal syntax and semantics for a subset of the solidity programming language, CoRR, 2018.

Z. Yang and H. Lei, Fether: An extensible definitional interpreter for smart-contract verifications in coq, IEEE Access, vol.7, pp.37-770, 2019.

R. M. Parizi, A. Dehghantanha, K. R. Choo, and A. Singh, Empirical vulnerability analysis of automated smart contracts security testing on blockchains, Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, ser. CASCON '18, pp.103-113, 2018.

S. Crafa, M. D. Pirro, and E. Zucca, Is solidity solid enough?, In 3rd Workshop on Trusted Smart Contracts, 2019.

A. Mavridou, A. Laszka, E. Stachtiari, and A. Dubey, Verisolid: Correct-by-design smart contracts for ethereum, 2019.

G. Barthe, M. Gaboardi, E. J. Arias, J. Hsu, A. Roth et al., Higher-order approximate relational refinement types for mechanism design and differential privacy, Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ser. POPL '15, pp.55-68, 2015.

, Web and Internet Economics: 12th International Conference, pp.279-293, 2016.

C. Hritcu, The Quest for Formally Secure Compartmentalizing Compilation, 2019.
URL : https://hal.archives-ouvertes.fr/tel-01995823

G. C. Necula, Proof-carrying code, Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.106-119, 1997.

A. W. Appel, Foundational proof-carrying code, 16th Annual IEEE Symposium on Logic in Computer Science, pp.247-256, 2001.

X. Leroy, Formal verification of a realistic compiler, Commun. ACM, vol.52, issue.7, pp.107-115, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00415861

M. S. New, W. J. Bowman, and A. Ahmed, Fully abstract compilation via universal embedding, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, pp.103-116, 2016.

A. Igarashi, B. C. Pierce, and P. Wadler, Featherweight java: A minimal core calculus for java and gj, ACM Trans. Program. Lang. Syst, vol.23, issue.3, pp.396-450, 2001.

P. Wang, Type system for resource bounds with typepreserving compilation, 2019.