Sledovať
Massimo Bartoletti
Massimo Bartoletti
Università degli Studi di Cagliari
Overená e-mailová adresa na: unica.it - Domovská stránka
Názov
Citované v
Citované v
Rok
A survey of attacks on Ethereum smart contracts (SoK)
N Atzei, M Bartoletti, T Cimoli
POST 2017, 2016
20962016
An empirical analysis of smart contracts: platforms, applications, and design patterns
M Bartoletti, L Pompianu
Workshop on Trusted Smart Contracts, 2017
6892017
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
M Bartoletti, S Carta, T Cimoli, R Saia
Future Generation Computer Systems 102, 2020
4882020
Data mining for detecting Bitcoin Ponzi schemes
M Bartoletti, B Pes, S Serusi
Cryptovalley conference on Blockchain Technology, 2018
3102018
An analysis of Bitcoin OP_RETURN metadata
M Bartoletti, L Pompianu
Bitcoin Workshop, 2017
1742017
A general framework for blockchain analytics
M Bartoletti, A Bracciali, S Lande, L Pompianu
SERIAL 2017, 2017
129*2017
SoK: unraveling Bitcoin smart contracts
N Atzei, M Bartoletti, T Cimoli, S Lande, R Zunino
POST 2018, 2018
104*2018
Cryptocurrency scams: analysis and perspectives
M Bartoletti, S Lande, A Loddo, L Pompianu, S Serusi
Ieee Access 9, 148353-148373, 2021
1032021
SoK: Lending Pools in Decentralized Finance
M Bartoletti, JH Chiang, A Lluch-Lafuente
Workshop on Trusted Smart Contracts (WTSC), 2021
982021
BitML: a calculus for Bitcoin smart contracts
M Bartoletti, R Zunino
ACM CCS, 2018
952018
A formal model of Bitcoin transactions
N Atzei, M Bartoletti, S Lande, R Zunino
Financial Cryptography and Data Security, 2018
952018
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
892008
A theory of Automated Market Makers in DeFi
M Bartoletti, JH Chiang, A Lluch-Lafuente
Logical Methods in Computer Science 18, 2022
812022
History-based access control with local policies
M Bartoletti, P Degano, GL Ferrari
FoSSaCS 2005, 2005
812005
A calculus of contracting processes
M Bartoletti, R Zunino
LICS 2010, 2010
792010
Enforcing secure service composition
M Bartoletti, P Degano, GL Ferrari
Computer Security Foundations (CSFW) 2005, 211-223, 2005
732005
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
722009
Planning and verifying service composition
M Bartoletti, P Degano, GL Ferrari
Journal of Computer Security 17 (5), 799-837, 2007
672007
Types and effects for resource usage analysis
M Bartoletti, P Degano, GL Ferrari, R Zunino
FoSSaCS 2007, 2007
612007
Types and effects for secure service orchestration
M Bartoletti, P Degano, GL Ferrari
Computer Security Foundations (CSFW) 2006, 13 pp.-69, 2006
532006
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20