Follow
Haobin Ni
Haobin Ni
Verified email at cs.washington.edu - Homepage
Title
Cited by
Cited by
Year
Compositional security for reentrant applications
E Cecchetti, S Yao, H Ni, AC Myers
2021 IEEE Symposium on Security and Privacy (SP), 1249-1267, 2021
462021
Hardening attack surfaces with formally proven binary format parsers
N Swamy, T Ramananandro, A Rastogi, I Spiridonova, H Ni, D Malloy, ...
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
262022
Securing smart contracts with information flow
E Cecchetti, S Yao, H Ni, AC Myers
International Symposium on Foundations and Applications of Blockchain, 2020
142020
ASN1*: Provably Correct, Non-malleable Parsing for ASN. 1 DER
H Ni, A Delignat-Lavaud, C Fournet, T Ramananandro, N Swamy
Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023
62023
SCIF: A Language for Compositional Smart Contract Security
S Yao, H Ni, AC Myers, E Cecchetti
arXiv preprint arXiv:2407.01204, 2024
2024
Formal Modeling Languages for High-assurance Domain-specific Systems
H Ni
Cornell University, 2024
2024
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols
N Neamtu, H Ni, R Van Renesse
Proceedings of the 10th Workshop on Principles and Practice of Consistency …, 2023
2023
Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications
I Sheff, X Wang, K Babel, H Ni, R van Renesse, AC Myers
ACM Transactions on Computer Systems, 2023
2023
Charlotte: Composable Authenticated Distributed Data Structures, Technical Report
I Sheff, X Wang, H Ni, R van Renesse, AC Myers
arXiv preprint arXiv:1905.03888, 2019
2019
Compositional Security for Reentrant Applications (Technical Report)
E Cecchetti, S Yao, H Ni, AC Myers
The system can't perform the operation now. Try again later.
Articles 1–10