Financial Cryptography and Data Security
From Institutions to Code: Towards Automated Generation of Smart Contracts