2 citations · 4 across the 4 of their papers we have counts for
5 papers
Improving Blockchain Scalability with the Setchain Data-type
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta +2
Blockchain technologies are facing a scalability challenge, which must be overcome to guarantee a wider adoption of the technology. This scalability issue is due to the use of cons…
Decentralized Stream Runtime Verification for Timed Asynchronous Networks
Luis Miguel Danielsson, César Sánchez
We study the problem of monitoring distributed systems where computers communicate using message passing and share an almost synchronized clock. This is a realistic scenario for ne…
Bounded Model Checking for Asynchronous Hyperproperties
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner +1
Many types of attacks on confidentiality stem from the nondeterministic nature of the environment that computer programs operate in (e.g., schedulers and asynchronous communication…
Efficient Loop Conditions for Bounded Model Checking Hyperproperties
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald +1
Bounded model checking (BMC) is an effective technique for hunting bugs by incrementally exploring the state space of a system. To reason about infinite traces through a finite str…
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…