Compositional security for reentrant applications E Cecchetti, S Yao, H Ni, AC Myers 2021 IEEE Symposium on Security and Privacy (SP), 1249-1267, 2021 | 35 | 2021 |
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 | 15 | 2022 |
Securing smart contracts with information flow E Cecchetti, S Yao, H Ni, AC Myers International Symposium on Foundations and Applications of Blockchain, 2020 | 10 | 2020 |
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 |
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 | | 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 | | |