1 citations · 1 across the 2 of their papers we have counts for
6 papers · 1 filter
Beyond OAuth: Task-Scoped Authorization for AI Agents via Natural Language Slices
Reshabh K Sharma, Linxi Jiang, Shuo Chen +1
AI agents increasingly execute users' natural-language (NL) tasks by calling Web services, yet today's Web authorizes these calls through OAuth, which grants permissions over opera…
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…
Decentralized Verifiable Mail-in Ballot Counting for Postal Voting
Peichen Xie, Zihan Zheng, Xian Zhang +1
As computer vision is prevalently used for mail-in ballot processing and counting, it becomes a point of centralized trust in postal voting. We propose DVote, a prototype system of…
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…
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…