Conference Paper (published)
Details
Citation
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
Abstract
We develop a formal model of Algorand stateless smart con- tracts (stateless ASC1). We exploit our model to prove fundamental properties of the Algorand blockchain, and to establish the security of some archetypal smart contracts. While doing this, we highlight various design patterns supported by Algorand. We perform experiments to vali- date the coherence of our formal model w.r.t. the actual implementation.
| Status | Published |
|---|---|
| Title of series | Lecture Notes in Computer Science |
| Number in series | 12674 |
| Publication date | 31/12/2021 |
| Publication date online | 23/10/2021 |
| URL | |
| Publisher | Springer |
| Place of publication | Cham, Switzerland |
| ISSN of series | 0302-9743 |
| ISBN | 978-3-662-64321-1 |
| eISBN | 978-3-662-64322-8 |
| Conference | International Conference on Financial Cryptography and Data Security |
| Conference location | Online |
| Dates | – |
People (1)
TUTOR, Computing Science