Browsing Engineering (Faculty of) by Author "Ray, Indrani"
Now showing items 1-1 of 1
-
Security Vulnerabilities in Smart Contracts as Specifications in Linear Temporal Logic
Ray, Indrani (University of Waterloo, 2021-12-21)Ethereum is a distributed computer with a native cryptocurrency. Like other monetary transaction based systems, a problem this platform faces is accounts and transactions being susceptible to theft and other hacks. Smart ...