26 citations · 26 across the 2 of their papers we have counts for
2 papers
cs.CR2023
Static Application Security Testing of Consensus-Critical Code in the Cosmos Network
Jasper Surmont, Weihong Wang, Tom Van Cutsem
Blockchains require deterministic execution in order to reach consensus. This is often guaranteed in languages designed to write smart contracts, such as Solidity. Application-spec…
cs.GT2022★ 26 cited
An Incentive-Compatible Mechanism for Decentralized Storage Network
Iman Vakilinia, Weihong Wang, Jiajun Xin
The dominance of a few big companies in the storage market arising various concerns including single point of failure, privacy violation, and oligopoly. To eliminate the dependency…