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 pubblicazioneAutoriTipoAbstract
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact2020BARTOLETTI, MASSIMO  ; CARTA, SALVATORE MARIO  ; CIMOLI, TIZIANA  ; Saia, Roberto  1 Contributo su Rivista::1.1 Articolo in rivista
Verifying Liquidity of Bitcoin Contracts2019BARTOLETTI, MASSIMO  ; 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Developing secure bitcoin contracts with BitML2019ATZEI, NICOLA  ; BARTOLETTI, MASSIMO  ; LANDE, STEFANO  ; 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
A Journey into Bitcoin Metadata2019BARTOLETTI, MASSIMO  ; POMPIANU, LIVIO  1 Contributo su Rivista::1.1 Articolo in rivista
SoK: Unraveling bitcoin smart contracts2018ATZEI, NICOLA  ; BARTOLETTI, MASSIMO  ; CIMOLI, TIZIANA  ; LANDE, STEFANO  ; 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Blockchain for social good: a quantitative analysis2018BARTOLETTI, MASSIMO  ; POMPIANU, LIVIO  ; CIMOLI, TIZIANA  ; SERUSI, SERGIO  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Fun with bitcoin smart contracts2018BARTOLETTI, MASSIMO  ; CIMOLI, TIZIANA  ; 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
A Formal Model of Bitcoin Transactions2018ATZEI, NICOLA  ; BARTOLETTI, MASSIMO  ; LANDE, STEFANO  ; Zunino, Roberto  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
BitML: A calculus for bitcoin smart contracts2018BARTOLETTI, MASSIMO  ; 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Data mining for detecting Bitcoin Ponzi schemes2018BARTOLETTI, MASSIMO  ; PES, BARBARA  ; SERUSI, SERGIO  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Progress-preserving refinements of CTA2018BARTOLETTI, MASSIMO  ; BOCCHI, LAURA  ; MURGIA, MAURIZIO  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Timed session types2017BARTOLETTI, MASSIMO  ; CIMOLI, TIZIANA  ; MURGIA, MAURIZIO  1 Contributo su Rivista::1.1 Articolo in rivista
A Proof-of-Stake protocol for consensus on Bitcoin subchains2017BARTOLETTI, MASSIMO  ; LANDE, STEFANO  ; PODDA, ALESSANDRO SEBASTIAN  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
A survey of attacks on Ethereum smart contracts (SoK)2017ATZEI, NICOLA  ; BARTOLETTI, MASSIMO  ; CIMOLI, TIZIANA  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Verifiable abstractions for contract-oriented systems2017BARTOLETTI, MASSIMO  ; MURGIA, MAURIZIO  ; SCALAS, ALCESTE  ; 1 Contributo su Rivista::1.1 Articolo in rivista
A general framework for blockchain analytics2017BARTOLETTI, MASSIMO  ; LANDE, STEFANO  ; POMPIANU, LIVIO  ; BRACCIALI, ANDREA  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
An empirical analysis of smart contracts: platforms, applications, and design patterns2017BARTOLETTI, MASSIMO  ; POMPIANU, LIVIO  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
An analysis of bitcoin OP_RETURN metadata2017BARTOLETTI, MASSIMO  ; POMPIANU, LIVIO  4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Constant-deposit multiparty lotteries on Bitcoin2017BARTOLETTI, MASSIMO  ; 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Contract-Oriented design of distributed applications: A tutorial2017ATZEI, NICOLA  ; BARTOLETTI, MASSIMO  ; MURGIA, MAURIZIO  ; TUOSTO, EMILIO  ; Zunino, Roberto  2 Contributo in Volume::2.1 Contributo in volume (Capitolo o Saggio)
   
credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar