Skip to ContentSkip to Navigation
Research Bernoulli Institute Calendar Colloquia - Computer Science

Colloquium Computer Science - Dr. J. Ellul University of Malta

When:We 21-08-2019 16:00 - 17:00
Where:5161.0267 Bernoulliborg

Title: Smart Contract Challenges and Assurances


Smart contracts provide for decentralised execution of application logic which cannot be tampered with.  Due to the immutability of the underlying blockchain platform this implies that old transactions cannot be altered.  Simple bugs can often result in large financial losses with no method of rectification. In this talk we'll present a number of challenges which smart contracts impose and various methods in which assurances can be provided.