60 citations · 86 across the 21 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2021★ 4 cited
A formal model for ledger management systems based on contracts and temporal logic
Paolo Bottoni, Anna Labella, Remo Pareschi
A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial…
cs.CR2020
Blockchain and Cryptocurrencies: a Classification and Comparison of Architecture Drivers
Martin Garriga, Stefano Dalla Palma, Maximiliano Arias +3
Blockchain is a decentralized transaction and data management solution, the technological leap behind the success of Bitcoin and other cryptocurrencies. As the variety of existing…