Batista, Danielle, and Victoria Lemieux. “Bounded and Shielded: Assessing Security Aspects and Trustworthiness of Smart Contracts”. Proceedings of the Annual Conference of CAIS Actes Du congrès Annuel De l’ACSI, July 2019, doi:10.29173/cais1063.