D. Batista and V. Lemieux, “Bounded and Shielded: Assessing Security Aspects and Trustworthiness of Smart Contracts”, CAIS/ACSI, Jul. 2019.