43 citations · 74 across the 15 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2026
Lattice Aggregation in Distributed Verification under Crash and Byzantine Failures
Gilde Valeria Rodríguez, Borzoo Bonakdarpour, Armando Castañeda +1
We introduce c-Lattice Aggregation, a fault-tolerant reconstruction problem for distributed verification under crash and Byzantine failures. In our setting, n asynchronous processe…
cs.DC2022★ 3 cited
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere +4
Transactions involving multiple blockchains are implemented by cross-chain protocols. These protocols are based on smart contracts, programs that run on blockchains, executed by a…