A Formal Model of Algorand Smart Contracts

A Formal Model of Algorand Smart Contracts. Bartoletti, M., Bracciali, A., Lepore, C., Scalas, A., & Zunino, R. In Borisov, N. & D'ıaz, C., editors, Financial Cryptography and Data Security - 25th International Conference, FC 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers, Part I, volume 12674, of Lecture Notes in Computer Science, pages 93–114, 2021. Springer.

Paper doi bibtex

@inproceedings{DBLP:conf/fc/BartolettiBLSZ21,
  author       = {Massimo Bartoletti and
                  Andrea Bracciali and
                  Cristian Lepore and
                  Alceste Scalas and
                  Roberto Zunino},
  editor       = {Nikita Borisov and
                  Claudia D{\&apos;{\i}}az},
  title        = {A Formal Model of Algorand Smart Contracts},
  booktitle    = {Financial Cryptography and Data Security - 25th International Conference,
                  {FC} 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12674},
  pages        = {93--114},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-662-64322-8\_5},
  doi          = {10.1007/978-3-662-64322-8\_5},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fc/BartolettiBLSZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0

{"_id":"RPP4e7w9877kEjBJD","bibbaseid":"bartoletti-bracciali-lepore-scalas-zunino-aformalmodelofalgorandsmartcontracts-2021","author_short":["Bartoletti, M.","Bracciali, A.","Lepore, C.","Scalas, A.","Zunino, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Bartoletti"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Bracciali"],"suffixes":[]},{"firstnames":["Cristian"],"propositions":[],"lastnames":["Lepore"],"suffixes":[]},{"firstnames":["Alceste"],"propositions":[],"lastnames":["Scalas"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Zunino"],"suffixes":[]}],"editor":[{"firstnames":["Nikita"],"propositions":[],"lastnames":["Borisov"],"suffixes":[]},{"firstnames":["Claudia"],"propositions":[],"lastnames":["D'ıaz"],"suffixes":[]}],"title":"A Formal Model of Algorand Smart Contracts","booktitle":"Financial Cryptography and Data Security - 25th International Conference, FC 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers, Part I","series":"Lecture Notes in Computer Science","volume":"12674","pages":"93–114","publisher":"Springer","year":"2021","url":"https://doi.org/10.1007/978-3-662-64322-8\\_5","doi":"10.1007/978-3-662-64322-8_5","timestamp":"Tue, 21 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/fc/BartolettiBLSZ21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fc/BartolettiBLSZ21,\n author = {Massimo Bartoletti and\n Andrea Bracciali and\n Cristian Lepore and\n Alceste Scalas and\n Roberto Zunino},\n editor = {Nikita Borisov and\n Claudia D{\\'{\\i}}az},\n title = {A Formal Model of Algorand Smart Contracts},\n booktitle = {Financial Cryptography and Data Security - 25th International Conference,\n {FC} 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers,\n Part {I}},\n series = {Lecture Notes in Computer Science},\n volume = {12674},\n pages = {93--114},\n publisher = {Springer},\n year = {2021},\n url = {https://doi.org/10.1007/978-3-662-64322-8\\_5},\n doi = {10.1007/978-3-662-64322-8\\_5},\n timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/fc/BartolettiBLSZ21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n","author_short":["Bartoletti, M.","Bracciali, A.","Lepore, C.","Scalas, A.","Zunino, R."],"editor_short":["Borisov, N.","D'ıaz, C."],"key":"DBLP:conf/fc/BartolettiBLSZ21","id":"DBLP:conf/fc/BartolettiBLSZ21","bibbaseid":"bartoletti-bracciali-lepore-scalas-zunino-aformalmodelofalgorandsmartcontracts-2021","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-662-64322-8\\_5"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","dataSources":["PCdRvyaDZRZMeqKhf"],"keywords":[],"search_terms":["formal","model","algorand","smart","contracts","bartoletti","bracciali","lepore","scalas","zunino"],"title":"A Formal Model of Algorand Smart Contracts","year":2021}