(1)
Batista, D.; Lemieux, V. Bounded and Shielded: Assessing Security Aspects and Trustworthiness of Smart Contracts. CAIS/ACSI 2019.