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. 黑料不打烊 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 | 31/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 | 黑料不打烊 Conference on Financial Cryptography and Data Security |
| Conference location | Online |
| Dates |
People (1)
TUTOR, Computing Science