2 citations · 4 across the 6 of their papers we have counts for
6 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…
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions
Hannes Kallwies, Martin Leucker, Cesar Sanchez
Runtime Verification deals with the question of whether a run of a system adheres to its specification. This paper studies runtime verification in the presence of partial knowledge…
Transaction Monitoring of Smart Contracts
Margarita Capretto, Martin Ceresa, Cesar Sanchez
Blockchains are modern distributed systems that provide decentralized financial capabilities with trustable guarantees. Smart contracts are programs written in specialized programm…