Segui
Stefano Lande
Stefano Lande
Email verificata su unica.it - Home page
Titolo
Citata da
Citata da
Anno
A general framework for blockchain analytics
M Bartoletti, S Lande, L Pompianu, A Bracciali
Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures …, 2017
119*2017
SoK: unraveling Bitcoin smart contracts
S Lande, R Zunino
Principles of Security and Trust LNCS 10804, 217, 2018
912018
A formal model of Bitcoin transactions
N Atzei, M Bartoletti, S Lande, R Zunino
Financial Cryptography and Data Security: 22nd International Conference, FC …, 2018
842018
Cryptocurrency scams: analysis and perspectives
M Bartoletti, S Lande, A Loddo, L Pompianu, S Serusi
Ieee Access 9, 148353-148373, 2021
552021
A proof-of-stake protocol for consensus on bitcoin subchains
M Bartoletti, S Lande, AS Podda
Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017
362017
Developing secure Bitcoin contracts with BitML
N Atzei, M Bartoletti, S Lande, N Yoshida, R Zunino
Proceedings of the 2019 27th acm joint meeting on european software …, 2019
322019
Bitcoin covenants unchained
M Bartoletti, S Lande, R Zunino
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
92020
Faderank: an incremental algorithm for ranking Twitter users
M Bartoletti, S Lande, A Massa
Web Information Systems Engineering–WISE 2016: 17th International Conference …, 2016
92016
Verifying liquidity of recursive bitcoin contracts
M Bartoletti, S Lande, M Murgia, R Zunino
Logical Methods in Computer Science 18, 2022
62022
Computationally sound Bitcoin tokens
M Bartoletti, S Lande, R Zunino
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021
32021
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
22022
Verification of recursive Bitcoin contracts
M Bartoletti, S Lande, M Murgia, R Zunino
Submitted to LMCS, 2020
12020
Formal Methods for Secure Bitcoin Smart Contracts
S Lande
Università degli Studi di Cagliari, 2021
2021
Behavioural Types: from Theory to Tools
N Atzei, M Bartoletti, T Cimoli, S Lande, M Murgia, AS Podda, L Pompianu
Behavioural Types: from Theory to Tools 1, 1-412, 2017
2017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–14