Massimo Bartoletti
3 papers in the PaperMetrix corpus
Papers by this author
-
A general framework for blockchain analytics
2017
Modern cryptocurrencies exploit decentralised blockchains to record a public and unalterable history of transactions. Besides transactions, further information is stored for different, and often undisclosed, purposes, making the blockchains a rich and increasingly growing source …
-
Developing secure bitcoin contracts with BitML
2019
We present a toolchain for developing and verifying smart contracts that can be executed on Bitcoin. The toolchain is based on BitML, a recent domain-specific language for smart contracts with a computationally sound embedding into …
-
Dissecting Ponzi schemes on Ethereum: identification, analysis, and\n impact
2017 · arXiv (Cornell University)
Ponzi schemes are financial frauds which lure users under the promise of high\nprofits. Actually, users are repaid only with the investments of new users\njoining the scheme: consequently, a Ponzi scheme implodes soon after users stop\njoining …