Seguir
Tiziana Cimoli
Tiziana Cimoli
Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari
Dirección de correo verificada de unica.it - Página principal
Título
Citado por
Citado por
Año
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
18862017
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
4192020
SoK: unraveling Bitcoin smart contracts
S Lande, R Zunino
Principles of Security and Trust LNCS 10804, 217, 2018
932018
Compliance in behavioural contracts: a brief survey
M Bartoletti, T Cimoli, R Zunino
Programming Languages with Applications to Biology and Security: Essays …, 2015
442015
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
372018
A survey of attacks on ethereum smart contracts (sok)
A Nicola, B Massimo, C Tiziana
Principles of Security and Trust, 164-186, 2017
292017
A contract-oriented middleware
M Bartoletti, T Cimoli, M Murgia, AS Podda, L Pompianu
Formal Aspects of Component Software: 12th International Conference, FACS …, 2016
262016
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
262015
Lending Petri Nets
M Bartoletti, T Cimoli, GM Pinna
Science of Computer Programming, 2015
262015
A theory of agreements and protection
M Bartoletti, T Cimoli, R Zunino
International Conference on Principles of Security and Trust, 186-205, 2013
252013
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
242016
Fun with Bitcoin smart contracts
M Bartoletti, T Cimoli, R Zunino
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
202018
Lending Petri nets and contracts
M Bartoletti, T Cimoli, GM Pinna
Fundamentals of Software Engineering: 5th International Conference, FSEN …, 2013
192013
Timed session types
M Bartoletti, T Cimoli, M Murgia
Logical Methods in Computer Science 13, 2017
162017
Circular causality in event structures
M Bartoletti, T Cimoli, GM Pinna, R Zunino
ICTCS 2012, 2012
142012
Models of circular causality
M Bartoletti, T Cimoli, GM Pinna, R Zunino
International Conference on Distributed Computing and Internet Technology, 1-20, 2015
122015
An event-based model for contracts
M Bartoletti, T Cimoli, GM Pinna, R Zunino
arXiv preprint arXiv:1302.6330, 2013
112013
A note on two notions of compliance
M Bartoletti, T Cimoli, GM Pinna
arXiv preprint arXiv:1410.7472, 2014
82014
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20