1 citations · 1 across the 7 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Monitoring the Future of Smart Contracts
Margarita Capretto, Martin Ceresa, Cesar Sanchez
Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains…
cs.LO2022
Multi: a Formal Playground for Multi-Smart Contract Interaction
Martán Ceresa, César Sánchez
Blockchains are maintained by a network of participants that run algorithms designed to maintain collectively a distributed machine tolerant to Byzantine attacks. From the point of…