Sotabase

Career

· Postdoctoral Scholar, University of Washington (Current)2024–
· Research Intern, Microsoft2022–2022
· Research Intern, Microsoft2021–2021
· Research Intern, Microsoft2019–2022
· Doctor of Philosophy - PhD, Computer Science, Cornell University2017–2022
· Visiting Student Researcher, University of California, Berkeley2016–2016
· Bachelor’s Degree, Computer Science, Shanghai Jiao Tong University2013–2017

Publications (9)

Compositional Security for Reentrant Applications
IEEE Symposium on Security and Privacy · 2021
38
cited
Hardening attack surfaces with formally proven binary format parsers
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2022
26
cited
Securing Smart Contracts with Information Flow
2020
11
cited
ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER
Certified Programs and Proofs · 2023
5
cited
Charlotte: Composable Authenticated Distributed Data Structures, Technical Report
arXiv.org · 2019
1
cited
Scaling Program Synthesis Based Technology Mapping with Equality Saturation
arXiv.org · 2024
1
cited
A Language for Smart Contracts with Secure Control Flow (Technical Report)
2024
Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications
ACM Transactions on Computer Systems · 2023
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols
PaPoC@EuroSys · 2023
Sotabase
Haobin Ni | Researcher Profile | Sotabase | Sotabase