1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.CR2024
Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
Thomas Ball, Nikolaj S. Bjørner, Ashley J. Chen +6
Security bugs and trapdoors in smart contracts have been impacting the Ethereum community since its inception. Conceptually, the 1.45-million Ethereum's contracts form a single "gi…
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…