Mr Cristian Lepore


Computing Science Stirling

Mr Cristian Lepore

Contact details

Share a link

Outputs (1)


Conference Proceeding

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.