Towards Secure and Trusted-by-Design Smart Contracts

Zaynah Dargaye, Önder Gürcan, Florent Kirchner +1

Distributed immutable ledgers, or blockchains, allow the secure digitization of evidential transactions without relying on a trusted third-party. Evidential transactions involve th…