• Bartoletti, M., Bracciali, A., Lepore, C., Scalas, A., & Zunino, R. (2021).
A
formal
model of Algorand smart
contracts.
[Article]
• Lepore, C., Ceria, M., Visconti, A., Rao, U. P., Shah, K. A., & Zanolini, L. (2020).
A
Survey on Blockchain
Consensus with a Performance Comparison of PoW, PoS and Pure PoS.
[Article]