1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.CR2023
An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts
Nikolaj Bjørner, Shuo Chen, Yang Chen +3
Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core i…
cs.CR2021★ 1 cited
Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns (Extended Version)
Xian Zhang, Xiaobing Guo, Zixuan Zeng +7
Anti-piracy is fundamentally a procedure that relies on collecting data from the open anonymous population, so how to incentivize credible reporting is a question at the center of…
cs.CR2021
Agatha: Smart Contract for DNN Computation
Zihan Zheng, Peichen Xie, Xian Zhang +6
Smart contract is one of the core features of Ethereum and has inspired many blockchain descendants. Since its advent, the verification paradigm of smart contract has been improvin…