Zobrazeno 1 - 10
of 140
pro vyhledávání: '"Bracciali, Andrea"'
We develop a formal model of Algorand stateless smart contracts (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
Externí odkaz:
http://arxiv.org/abs/2009.12140
Publikováno v:
In Wear 15 October 2023 530-531
Publikováno v:
In Wear 15 September 2023 528-529
Decentralisation is one of the promises introduced by blockchain technologies: fair and secure interaction amongst peers with no dominant positions, single points of failure or censorship. Decentralisation, however, appears difficult to be formally d
Externí odkaz:
http://arxiv.org/abs/1911.08182
Modern cryptocurrencies exploit decentralised blockchains to record a public and unalterable history of transactions. Besides transactions, further information is stored for different, and often undisclosed, purposes, making the blockchains a rich an
Externí odkaz:
http://arxiv.org/abs/1707.01021
Publikováno v:
In Applied Soft Computing Journal November 2020 96
Autor:
Wang, Yilei, Yang, Guoyu, Bracciali, Andrea, Leung, Ho-fung, Tian, Haibo, Ke, Lishan, Yu, Xiaomei
Publikováno v:
In Information Sciences August 2020 530:85-94
Autor:
Amaral, Vasco, Norberto, Beatriz, Goulão, Miguel, Aldinucci, Marco, Benkner, Siegfried, Bracciali, Andrea, Carreira, Paulo, Celms, Edgars, Correia, Luís, Grelck, Clemens, Karatza, Helen, Kessler, Christoph, Kilpatrick, Peter, Martiniano, Hugo, Mavridis, Ilias, Pllana, Sabri, Respício, Ana, Simão, José, Veiga, Luís, Visa, Ari
Publikováno v:
In Parallel Computing March 2020 91