M. Zichichi, M. Contu, S. Ferretti, LikeStarter: a Smart-contract based Social DAO for Crowdfunding, in Proc. of the 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019), co-located with IEEE InfoCom 2019, IEEE, April 2019, Paris, France.
G. D'Angelo, S. Ferretti, M. Marzolla, A Blockchain-based Flight Data Recorder for Cloud Accountability, in Proc. of the 1st Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2018), co-located with ACM MobiSys 2018, ACM, Munich Germany), June 2018.
C. Laneve, A. Veschetti, A Formal Analysis of Blockchain Consensus, February 2019
C. Laneve, C. Sacerdoti Coen, A. Veschetti, On the prediction of smart contracts' behaviours, June 2019.