Segui
Tiziana Cimoli
Tiziana Cimoli
Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari
Email verificata su unica.it - Home page
Titolo
Citata da
Citata da
Anno
A survey of attacks on ethereum smart contracts (sok)
N Atzei, M Bartoletti, T Cimoli
Principles of Security and Trust: 6th International Conference, POST 2017 …, 2017
14812017
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
M Bartoletti, S Carta, T Cimoli, R Saia
Future Generation Computer Systems 102, 259-277, 2020
2892020
SoK: unraveling Bitcoin smart contracts
S Lande, R Zunino
Principles of Security and Trust LNCS 10804, 217, 2018
752018
Compliance in behavioural contracts: a brief survey
M Bartoletti, T Cimoli, R Zunino
Programming Languages with Applications to Biology and Security: Essays …, 2015
422015
A contract-oriented middleware
M Bartoletti, T Cimoli, M Murgia, AS Podda, L Pompianu
Formal Aspects of Component Software: 12th International Conference, FACS …, 2016
282016
Compliance and subtyping in timed session types
M Bartoletti, T Cimoli, M Murgia, AS Podda, L Pompianu
Formal Techniques for Distributed Objects, Components, and Systems: 35th …, 2015
282015
Blockchain for social good: a quantitative analysis
M Bartoletti, T Cimoli, L Pompianu, S Serusi
Proceedings of the 4th EAI international conference on smart objects and …, 2018
272018
Lending Petri Nets
M Bartoletti, T Cimoli, GM Pinna
Science of Computer Programming, 2015
272015
A theory of agreements and protection
M Bartoletti, T Cimoli, R Zunino
Principles of Security and Trust: Second International Conference, POST 2013 …, 2013
262013
Contracts as games on event structures
M Bartoletti, T Cimoli, GM Pinna, R Zunino
Journal of logical and algebraic methods in programming 85 (3), 399-424, 2016
252016
Lending Petri nets and contracts
M Bartoletti, T Cimoli, GM Pinna
Fundamentals of Software Engineering: 5th International Conference, FSEN …, 2013
202013
A survey of attacks on ethereum smart contracts (sok)
A Nicola, M Bartoletti, T Cimoli
Principles of Security and Trust 10204, 164-186, 2017
182017
Fun with Bitcoin smart contracts
M Bartoletti, T Cimoli, R Zunino
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
172018
Circular causality in event structures
M Bartoletti, T Cimoli, GM Pinna, R Zunino
ICTCS 2012, 2012
142012
Timed session types
M Bartoletti, T Cimoli, M Murgia
arXiv preprint arXiv:1710.05388, 2017
132017
An event-based model for contracts
M Bartoletti, T Cimoli, GM Pinna, R Zunino
arXiv preprint arXiv:1302.6330, 2013
112013
Models of circular causality
M Bartoletti, T Cimoli, GM Pinna, R Zunino
Distributed Computing and Internet Technology: 11th International Conference …, 2015
102015
Contract agreements via logic
M Bartoletti, T Cimoli, P Di Giamberardino, R Zunino
arXiv preprint arXiv:1306.0026, 2013
72013
Vicious circles in contracts and in logic
M Bartoletti, T Cimoli, P Di Giamberardino, R Zunino
Science of Computer Programming 109, 61-95, 2015
62015
A note on two notions of compliance
M Bartoletti, T Cimoli, GM Pinna
arXiv preprint arXiv:1410.7472, 2014
52014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20