Return to Article Details Bounded and Shielded: Assessing Security Aspects and Trustworthiness of Smart Contracts Download Download PDF