Follow
Haobin Ni
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
382021
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
182022
Securing smart contracts with information flow
E Cecchetti, S Yao, H Ni, AC Myers
International Symposium on Foundations and Applications of Blockchain, 2020
112020
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
22023
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–8