Bitcoin: A Peer-to-Peer electronic cash system ,
Ethereum: A secure decentralised generalised transaction ledger ,
The solidity contract-oriented programming language, 2019. ,
Erc-20 token standard, 2017. ,
Erc-721: Non-fungible token standard, 2017. ,
Erc900: Simple staking interface ,
A survey of attacks on ethereum smart contracts (sok), Principles of Security and Trust: 6th International Conference, pp.164-186, 2017. ,
An empirical analysis of smart contracts: Platforms, applications, and design patterns, CoRR, 2017. ,
Making smart contracts smarter, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, ser. CCS '16, pp.254-269, 2016. ,
A semantic framework for the security analysis of ethereum smart contracts, pp.243-269, 2018. ,
KEVM: a complete formal semantics of the ethereum virtual machine, 31st IEEE Computer Security Foundations Symposium, pp.204-217, 2018. ,
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. ,
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. ,
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. ,
Temporal properties of smart contracts, ser. Lecture Notes in Computer Science, vol.11247, pp.323-338, 2018. ,
Scompile: Critical path identification and analysis for smart contracts, CoRR, 2018. ,
Vandal: A scalable security analysis framework for smart contracts, CoRR, 2018. ,
Madmax: Surviving out-of-gas conditions in ethereum smart contracts, OOPSLA, vol.2, pp.1-116, 2018. ,
Lolisa: Formal syntax and semantics for a subset of the solidity programming language, CoRR, 2018. ,
Fether: An extensible definitional interpreter for smart-contract verifications in coq, IEEE Access, vol.7, pp.37-770, 2019. ,
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. ,
Is solidity solid enough?, In 3rd Workshop on Trusted Smart Contracts, 2019. ,
Verisolid: Correct-by-design smart contracts for ethereum, 2019. ,
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.
The Quest for Formally Secure Compartmentalizing Compilation, 2019. ,
URL : https://hal.archives-ouvertes.fr/tel-01995823
Proof-carrying code, Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.106-119, 1997. ,
Foundational proof-carrying code, 16th Annual IEEE Symposium on Logic in Computer Science, pp.247-256, 2001. ,
Formal verification of a realistic compiler, Commun. ACM, vol.52, issue.7, pp.107-115, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00415861
Fully abstract compilation via universal embedding, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, pp.103-116, 2016. ,
Featherweight java: A minimal core calculus for java and gj, ACM Trans. Program. Lang. Syst, vol.23, issue.3, pp.396-450, 2001. ,
Type system for resource bounds with typepreserving compilation, 2019. ,