1 citations · 1 across the 2 of their papers we have counts for
2 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.CV2019★ 1 cited
CoachAI: A Project for Microscopic Badminton Match Data Collection and Tactical Analysis
Tzu-Han Hsu, Ching-Hsuan Chen, Nyan Ping Ju +8
Computer vision based object tracking has been used to annotate and augment sports video. For sports learning and training, video replay is often used in post-match review and trai…