Massimo Bartoletti
Massimo Bartoletti
Verified email at unica.it - Homepage
Title
Cited by
Cited by
Year
A survey of attacks on Ethereum smart contracts (SoK)
N Atzei, M Bartoletti, T Cimoli
POST 2017, 2016
765*2016
An empirical analysis of smart contracts: platforms, applications, and design patterns
M Bartoletti, L Pompianu
Workshop on Trusted Smart Contracts, 2017
2862017
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
M Bartoletti, S Carta, T Cimoli, R Saia
Future Generation Computer Systems 102, 2020
1002020
Semantics-based design for secure web services
M Bartoletti, P Degano, GL Ferrari, R Zunino
IEEE Transactions on Software Engineering 34 (1), 33-49, 2008
852008
An analysis of Bitcoin OP_RETURN metadata
M Bartoletti, L Pompianu
Bitcoin Workshop, 2017
762017
A calculus of contracting processes
M Bartoletti, R Zunino
LICS 2010, 2010
742010
History-based access control with local policies
M Bartoletti, P Degano, GL Ferrari
FoSSaCS 2005, 2005
672005
Local policies for resource usage analysis
M Bartoletti, P Degano, GL Ferrari, R Zunino
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (6), 2009
642009
Planning and verifying service composition
M Bartoletti, P Degano, GL Ferrari
Journal of Computer Security 17 (5), 799-837, 2007
612007
Enforcing secure service composition
M Bartoletti, P Degano, GL Ferrari
Computer Security Foundations (CSFW) 2005, 211-223, 2005
612005
Static analysis for stack inspection
M Bartoletti, P Degano, GL Ferrari
Electronic Notes in Theoretical Computer Science 54, 69-80, 2001
542001
Types and effects for resource usage analysis
M Bartoletti, P Degano, GL Ferrari, R Zunino
FoSSaCS 2007, 2007
532007
Types and effects for secure service orchestration
M Bartoletti, P Degano, GL Ferrari
Computer Security Foundations (CSFW) 2006, 13 pp.-69, 2006
502006
Data mining for detecting Bitcoin Ponzi schemes
M Bartoletti, B Pes, S Serusi
Cryptovalley conference on Blockchain Technology, 2018
492018
A general framework for blockchain analytics
M Bartoletti, A Bracciali, S Lande, L Pompianu
SERIAL 2017, 2017
48*2017
Contract-Oriented Computing in CO2
M Bartoletti, E Tuosto, R Zunino
Scientific Annals of Computer Science 22 (1), 2012
422012
Honesty by typing
M Bartoletti, A Scalas, E Tuosto, R Zunino
Formal Techniques for Distributed Systems (FORTE) 2013, 2013
402013
Security issues in service composition
M Bartoletti, P Degano, GL Ferrari
Formal Methods for Open Object-Based Distributed Systems (FMOODS) 2006, 1-16, 2006
382006
Secure service orchestration
M Bartoletti, P Degano, GL Ferrari, R Zunino
Foundations of security analysis and design IV, 24-74, 2007
362007
On the realizability of contracts in dishonest systems
M Bartoletti, E Tuosto, R Zunino
COORDINATION 2012, 2012
352012
The system can't perform the operation now. Try again later.
Articles 1–20