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