Stefano Lande is a second year PhD student at the Department of Mathematics and Computer Science of the University of Cagliari, supervised by Massimo Bartoletti. He earned a BSc and a MSc (both with honours) in Informatics at the University of Cagliari. From 2015 to 2017, he worked as research assistand at the Department of Mathematics and Computer Science of the University of Cagliari, supervised by Massimo Bartoletti. His PhD activity is supported by a grant from RAS (Autonomous Region of Sardinia).
Email: lande (at) unica (dot) it
Research Interest Blockchain technologies, formal models and verification for smart contracts.
Selected publications - N Atzei, M Bartoletti, T Cimoli, S Lande, R Zunino. SoK: unraveling Bitcoin smart contracts. In proc POST 2018.
- N Atzei, M Bartoletti, S Lande, R Zunino, A formal model for Bitcoin transactions. To appear in proc of Financial Cryptography 2018.
- M Bartoletti, A Bracciali, S Lande, L Pompianu. A general framework for Bitcoin analytics. In proc, SERIAL 2017
Talks- FC18, Financial Cryptography and Data Security 2018, Curaçao
- ITASEC18, Italian Conference on Cybersecurity, Milano, Italy
- WTSC 2017, 1st Workshop on Trusted Smart Contracts, Sliema, Malta
- WISE2016, 17th International Conference on Web Information Systems Engineering, Shanghai, CN
Teaching activity
2017 - Teaching assistant of Automata and Formal Languages (BSc program in Informatics)
- Teaching assistant of Cybersecurity (MSc program in Informatics)
- Teaching assistant of Object Oriented Programming (BSc program in Informatics)
2016 - Teaching assistant of Automata and Formal Languages (BSc program in Informatics)
2015 - Teaching assistant of Automata and Formal Languages (BSc program in Informatics)
|
|
