STORRE
STORRE: Stirling Online Research Repository
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1893/32632| Appears in Collections: | Computing Science and Mathematics Conference Papers and Proceedings |
| Author(s): | Bartoletti, Massimo Bracciali, Andrea Lepore, Cristian Scalas, Alceste Zunino, Roberto |
| Contact Email: | andrea.bracciali@stir.ac.uk |
| Title: | A formal model of Algorand smart contracts |
| Editor(s): | Borisov, Nikita Diaz, Claudia |
| 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 |
| Issue Date: | 2021 |
| Date Deposited: | 25-May-2021 |
| Series/Report no.: | Lecture Notes in Computer Science, 12674 |
| Conference Name: | International Conference on Financial Cryptography and Data Security |
| Conference Dates: | 2021-03-01 - 2021-03-05 |
| Conference Location: | Online |
| 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: | AM - Accepted Manuscript |
| Rights: | This item has been embargoed for a period. During the embargo please use the Request a Copy feature at the foot of the Repository record to request a copy directly from the author. You can only request a copy if you wish to use this work for your own research or private study. This is a post-peer-review, pre-copyedit version of an article published in Borisov N., Diaz C. (eds) Financial Cryptography and Data Security. FC 2021. Lecture Notes in Computer Science, vol 12674. Springer, Berlin, Heidelberg, pp. 93-114. The final authenticated version is available online at: https://doi.org/10.1007/978-3-662-64322-8_5 |
| Licence URL(s): | https://storre.stir.ac.uk/STORREEndUserLicence.pdf |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| fc2021-202.pdf | Fulltext - Accepted Version | 565.62 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.