Haobin Ni

According to our database, Haobin Ni authored at least 6 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Trees and Turtles: Modular Abstractions for State Machine Replication Protocols.

Natalie Neamtu, Haobin Ni, Robbert van Renesse

Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 2023

ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER.

Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

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

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Compositional Security for Reentrant Applications.

Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2019

Charlotte: Composable Authenticated Distributed Data Structures, Technical Report.

Isaac C. Sheff, Xinwen Wang, Haobin Ni, Robbert van Renesse, Andrew C. Myers

CoRR, 2019