Protocol-Based Smart Contract Generation

Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos. Protocol-Based Smart Contract Generation. In Shin'ichiro Matsuo, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez Hernandez, Sam Werner, Thomas Haines, Aleksander Essex, Andrea Bracciali, Massimiliano Sala, editors, Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers. Volume 13412 of Lecture Notes in Computer Science, pages 555-582, Springer, 2022. [doi]

Authors

Afonso Falcão

This author has not been identified. Look up 'Afonso Falcão' in Google

Andreia Mordido

This author has not been identified. Look up 'Andreia Mordido' in Google

Vasco T. Vasconcelos

This author has not been identified. Look up 'Vasco T. Vasconcelos' in Google