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
Abstract:
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.