39 citations · 41 across the 4 of their papers we have counts for
4 papers
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…
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols
Natalie Neamtu, Haobin Ni, Robbert van Renesse
We present two abstractions for designing modular state machine replication (SMR) protocols: trees and turtles. A tree captures the set of possible state machine histories, while a…
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…
Charlotte: Composable Authenticated Distributed Data Structures, Technical Report
Isaac Sheff, Xinwen Wang, Haobin Ni +2
We present Charlotte, a framework for composable, authenticated distributed data structures. Charlotte data is stored in blocks that reference each other by hash. Together, all Cha…