Obsidian- A Language for Smart Contracts Designed for Safety and Usability.pdf Download pdf Tags: Science of Security 2019 Presentation Academia Foundations of a CPS Resilience License: CC-2.5 Submitted by Jonathan Aldrich on Thu, 07/11/2019 - 09:49