Formal verification of smart contracts: Short paper, 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS '16, pp.91-96, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01400469
Smartinspect: solidity smart contract inspector, 2018 International Workshop on Blockchain Oriented Software Engineering (IW-BOSE), pp.978-979, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01831075
From mining to markets: the evolution of bitcoin transaction fees, SSRN Electronic Journal, pp.1-55, 2017. ,
, Ethereum's white paper, 2014.
Ethereum homestead documentation, 2016. ,
, Ethereum Foundation, 2018.
What determines bitcoin exchange prices? a network var approach, Finance Research Letters, 2018. ,
Investigating Causal Relations by Econometric Models and Cross-Spectral Methods, Econometrica, vol.37, issue.3, pp.424-438, 1969. ,
Some properties of time series data and their use in econometric model specification, Journal of Econometrics, vol.16, issue.1, pp.121-130, 1981. ,
The economics of bitcoin transaction fees, 2014. ,
URL : https://hal.archives-ouvertes.fr/halshs-00951358
The ring of gyges: Investigating the future of criminal smart contracts, 2016 ACM SIGSAC Conference on Computer and Communications Security, CCS '16, pp.283-295, 2016. ,
Making smart contracts smarter, CCS'2016 (ACM Conference on Computer and Communications Security), 2016. ,
Trends, tips, tolls: A longitudinal study of bitcoin transaction fees, Financial Cryptography Workshops, pp.19-33, 2015. ,
Bitcoin: A peer-to-peer electronic cash system, 2009. ,
Simplicity: A new language for blockchains, Workshop on Programming Languages and Analysis for Security, PLAS '17, pp.107-120, 2017. ,
Factors influencing cryptocurrency prices: Evidence from bitcoin, ethereum, dash, litcoin, and monero, Journal of Economics and Financial Analysis, vol.2, pp.1-27, 2018. ,
The theory of prediction, Modern mathematics for engineers, Series I. Beckenham, E. F, 1956. ,
Ethereum: A secure decentralised generalised transaction ledger. Ethereum Yellow Paper. Byzantium Version e94ebda, pp.1-39, 2018. ,