Protocol-Based Smart Contract Generation. - Afonso Falcão; Andreia Mordido; Vasco T. Vasconcelos (Financial Cryptography Workshops, 2022)