| 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 | 1928 | 2017 |
| 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 | 427 | 2020 |
| SoK: unraveling Bitcoin smart contracts S Lande, R Zunino Principles of Security and Trust LNCS 10804, 217, 2018 | 91 | 2018 |
| Compliance in behavioural contracts: a brief survey M Bartoletti, T Cimoli, R Zunino Programming Languages with Applications to Biology and Security: Essays …, 2015 | 44 | 2015 |
| 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 | 39 | 2018 |
| A survey of attacks on ethereum smart contracts (sok) A Nicola, B Massimo, C Tiziana Principles of Security and Trust, 164-186, 2017 | 31 | 2017 |
| A contract-oriented middleware M Bartoletti, T Cimoli, M Murgia, AS Podda, L Pompianu Formal Aspects of Component Software: 12th International Conference, FACS …, 2016 | 28 | 2016 |
| 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 | 26 | 2015 |
| Lending Petri Nets M Bartoletti, T Cimoli, GM Pinna Science of Computer Programming, 2015 | 26 | 2015 |
| A theory of agreements and protection M Bartoletti, T Cimoli, R Zunino International Conference on Principles of Security and Trust, 186-205, 2013 | 25 | 2013 |
| 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 | 24 | 2016 |
| Fun with Bitcoin smart contracts M Bartoletti, T Cimoli, R Zunino Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 20 | 2018 |
| Lending Petri nets and contracts M Bartoletti, T Cimoli, GM Pinna Fundamentals of Software Engineering: 5th International Conference, FSEN …, 2013 | 19 | 2013 |
| Timed session types M Bartoletti, T Cimoli, M Murgia Logical Methods in Computer Science 13, 2017 | 16 | 2017 |
| Circular causality in event structures M Bartoletti, T Cimoli, GM Pinna, R Zunino ICTCS 2012, 2012 | 14 | 2012 |
| Models of circular causality M Bartoletti, T Cimoli, GM Pinna, R Zunino International Conference on Distributed Computing and Internet Technology, 1-20, 2015 | 12 | 2015 |
| An event-based model for contracts M Bartoletti, T Cimoli, GM Pinna, R Zunino arXiv preprint arXiv:1302.6330, 2013 | 11 | 2013 |
| A note on two notions of compliance M Bartoletti, T Cimoli, GM Pinna arXiv preprint arXiv:1410.7472, 2014 | 7 | 2014 |
| Contract agreements via logic M Bartoletti, T Cimoli, P Di Giamberardino, R Zunino arXiv preprint arXiv:1306.0026, 2013 | 7 | 2013 |
| Contract-oriented programming with timed session types N Atzei, M Bartoletti, T Cimoli, S Lande, M Murgia, AS Podda, L Pompianu Behavioural Types, 27-48, 2022 | 6 | 2022 |
Massimo BartolettiUniversità degli Studi di Cagliari在 unica.it 的电子邮件经过验证
