Haobin Ni

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Technical Report

Top Venues

IEEE Symposium on Security and Privacy

Publications

Siqiu Yao, Haobin Ni, Andrew C. Myers, Ethan Cecchetti
SCIF: A Language for Compositional Smart Contract Security. CoRR (2024)
Natalie Neamtu, Haobin Ni, Robbert van Renesse
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols. CoRR (2023)
Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER. CPP (2023)
Natalie Neamtu, Haobin Ni, Robbert van Renesse
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols. PaPoC@EuroSys (2023)
Isaac C. Sheff, Xinwen Wang, Kushal Babel, Haobin Ni, Robbert van Renesse, Andrew C. Myers
Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications. ACM Trans. Comput. Syst. 41 (2023)
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
Hardening attack surfaces with formally proven binary format parsers. PLDI (2022)
Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers
Compositional Security for Reentrant Applications. CoRR (2021)
Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers
Compositional Security for Reentrant Applications. IEEE Symposium on Security and Privacy (2021)
Isaac C. Sheff, Xinwen Wang, Haobin Ni, Robbert van Renesse, Andrew C. Myers
Charlotte: Composable Authenticated Distributed Data Structures, Technical Report. CoRR (2019)