4 citations · 4 across the 4 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2025
Depermissioning Web3: a Permissionless Accountable RPC Protocol for Blockchain Networks
Weihong Wang, Tom Van Cutsem
In blockchain networks, so-called "full nodes" serve data to and relay transactions from clients through an RPC interface. This serving layer enables integration of "Web3" data, st…
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…