39 citations · 40 across the 2 of their papers we have counts for
2 papers
cs.CR2024★ 1 cited
A Language for Smart Contracts with Secure Control Flow (Technical Report)
Siqiu Yao, Haobin Ni, Stephanie Ma +3
Smart contracts are frequently vulnerable to control-flow attacks based on confused deputies, reentrancy, and incorrect error handling. These attacks exploit the complexity of inte…
cs.CR2021★ 39 cited
Compositional Security for Reentrant Applications
Ethan Cecchetti, Siqiu Yao, Haobin Ni +1
The disastrous vulnerabilities in smart contracts sharply remind us of our ignorance: we do not know how to write code that is secure in composition with malicious code. Informatio…