1 citations · 1 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
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…
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…