Prodotti della ricerca

 

UNICA IRIS Institutional Research Information System

IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Cagliari dal mese di luglio 2015.

Mostra risultati da 1 a 20 di 80
successivo >
TitoloData di pubblicazioneAutore(i)RivistaEditore
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact2020BARTOLETTI, MASSIMO; CARTA, SALVATORE MARIO; CIMOLI, TIZIANA; Saia, RobertoFUTURE GENERATION COMPUTER SYSTEMS
Developing secure bitcoin contracts with BitML2019Atzei, N.; Bartoletti, M.; Lande, S.; Yoshida, N.; Zunino, R.Association for Computing Machinery
A Journey into Bitcoin Metadata2019Bartoletti, Massimo; Bellomy, Bryn; Pompianu, LivioJOURNAL OF GRID COMPUTING
Verifying Liquidity of Bitcoin Contracts2019Bartoletti, M.; Zunino, R.Springer
SoK: Unraveling bitcoin smart contracts2018Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, RobertoSpringer
Progress-preserving refinements of CTA2018Bartoletti, Massimo; Bocchi, Laura; Murgia, MaurizioSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
BitML: A calculus for bitcoin smart contracts2018Bartoletti, Massimo; Zunino, RobertoACM
Data mining for detecting Bitcoin Ponzi schemes2018Bartoletti, Massimo; Pes, Barbara; Serusi, SergioIEEE
A Formal Model of Bitcoin Transactions2018Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R.Springer
Fun with bitcoin smart contracts2018Bartoletti, Massimo; Cimoli, Tiziana; Zunino, RobertoSpringer
Blockchain for social good: a quantitative analysis2018Bartoletti, Massimo; Pompianu, Livio; Cimoli, Tiziana; Serusi, SergioAssociation for Computing Machinery
Constant-deposit multiparty lotteries on Bitcoin2017Bartoletti, Massimo; Zunino, RobertoLECTURE NOTES IN COMPUTER SCIENCESpringer
An analysis of bitcoin OP_RETURN metadata2017Bartoletti, Massimo; Pompianu, LivioSpringer
An empirical analysis of smart contracts: platforms, applications, and design patterns2017Bartoletti, Massimo; Pompianu, LivioSpringer
A survey of attacks on Ethereum smart contracts (SoK)2017Atzei, Nicola; Bartoletti, Massimo; Cimoli, TizianaSpringer
A general framework for blockchain analytics2017Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; Bracciali, AndreaAssociation for Computing Machinery (ACM)
A Proof-of-Stake protocol for consensus on Bitcoin subchains2017Bartoletti, Massimo; Lande, Stefano; Podda, Alessandro SebastianLECTURE NOTES IN COMPUTER SCIENCESpringer
Timed session types2017Bartoletti, Massimo; Cimoli, Tiziana; Murgia, MaurizioLOGICAL METHODS IN COMPUTER SCIENCE
Verifiable abstractions for contract-oriented systems2017Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, RobertoTHE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Contract-oriented programming with timed session types2017Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L.River Publishers
   
credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar