Stefano Lande earned a BSc and a MSc (both with honours) in Informatics at the University of Cagliari. From 2015 to 2017, he is working as contract holder at the Department of Mathematics and Computer Science of the University of Cagliari, supervised by Massimo Bartoletti. Currently, he is a first year PhD student 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 Formal models and verification for smart contracts.
Publications - M. Bartoletti, S. Lande, A. Massa. FadeRank: an incremental algorithm for ranking Twitter users. In Proc. WISE, 2016.
- N. Atzei, M. Bartoletti, T. Cimoli, S. Lande, M. Murgia, A.S. Podda, L. Pompianu. Contract-oriented programming with timed session types. Behavioural Types: from Theory to Tools, 2017.
- M. Bartoletti, S. Lande, A.S. Podda. A Proof-of-Stake protocol for consensus on Bitcoin subchains . In proc at WTSC, 2017
- M Bartoletti, A Bracciali, S Lande, L Pompianu. A general framework for Bitcoin analytics. In proc, SERIAL 2017\
- N Atzei, M Bartoletti, S Lande, R Zunino, A formal model for Bitcoin transactions. To appera in proc of Financial Cryptography 2018.
- N Atzei, M Bartoletti, T Cimoli, S Lande, R Zunino. SoK: unraveling Bitcoin smart contracts. To appear in proc POST 2018.
Talks- WISE2016, 17th International Conference on Web Information Systems Engineering, Shanghai, CN (speaker)
- WTSC 2017, 1st Workshop on Trusted Smart Contracts, Sliema, Malta (speaker)
- ITASEC18, Italian Conference on Cybersecurity, Milano, Italy (speaker)
- FC18, Financial Cryptography and Data Security 2018, Curaçao (speaker)
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)
Partecipation at conferences - IIR 2015, 6th Italian Information Retrieval Workshop, Cagliari, IT (participant)
- AppSec EU '16, OWASP AppSec Europe 2016 Conference, Rome, IT (participant)
Partecipation at schools |
