Charlotte: Composable Authenticated Distributed Data Structures, Technical Report. - Isaac C. Sheff; Xinwen Wang; Haobin Ni; Robbert van Renesse; Andrew C. Myers (CoRR, 2019)

Compositional Security for Reentrant Applications. - Ethan Cecchetti; Siqiu Yao; Haobin Ni; Andrew C. Myers (SP, 2021)

Hardening attack surfaces with formally proven binary format parsers. - Nikhil Swamy; Tahina Ramananandro; Aseem Rastogi; Irina Spiridonova; Haobin Ni; Dmitry Malloy; Juan Vazquez; Michael Tang; Omar Cardona; Arti Gupta (PLDI, 2022)

ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER. - Haobin Ni; Antoine Delignat-Lavaud; Cédric Fournet; Tahina Ramananandro; Nikhil Swamy (CPP, 2023)

Trees and Turtles: Modular Abstractions for State Machine Replication Protocols. - Natalie Neamtu; Haobin Ni; Robbert van Renesse (PaPoC@EuroSys, 2023)

Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications. - Isaac C. Sheff; Xinwen Wang; Kushal Babel; Haobin Ni; Robbert van Renesse; Andrew C. Myers (ACM Trans. Comput. Syst., 2023)

SCIF: A Language for Compositional Smart Contract Security. - Siqiu Yao; Haobin Ni; Andrew C. Myers; Ethan Cecchetti (CoRR, 2024)

E-Graphs as Circuits, and Optimal Extraction via Treewidth. - Glenn Sun; Yihong Zhang; Haobin Ni (CoRR, 2024)

Scaling Program Synthesis Based Technology Mapping with Equality Saturation. - Gus Henry Smith; Colin Knizek; Daniel Petrisko; Zachary Tatlock; Jonathan Balkind; Gilbert Louis Bernstein; Haobin Ni; Chandrakana Nandi (CoRR, 2024)