Conference Paper (published)
A formal model of Algorand smart contracts
Bartoletti M, Bracciali A, Lepore C, Scalas A & Zunino R (2021) A formal model of Algorand smart contracts. In: Borisov N & Diaz C (eds.) Financial Cryptography and Data Security. FC 2021. Lecture Notes in Computer Science, 12674. International Conference on Financial Cryptography and Data Security, Online, 01.03.2021-05.03.2021. Cham, Switzerland: Springer, pp. 93-114. https://doi.org/10.1007/978-3-662-64322-8_5