| Understanding the mirai botnet M Antonakakis, T April, M Bailey, M Bernhard, E Bursztein, J Cochran, ... 26th USENIX security symposium (USENIX Security 17), 1093-1110, 2017 | 2217 | 2017 |
| Erays: reverse engineering ethereum's opaque smart contracts Y Zhou, D Kumar, S Bakshi, J Mason, A Miller, M Bailey 27th USENIX security symposium (USENIX Security 18), 1371-1385, 2018 | 117 | 2018 |
| A security model and fully verified implementation for the IETF QUIC record layer A Delignat-Lavaud, C Fournet, B Parno, J Protzenko, T Ramananandro, ... 2021 IEEE Symposium on Security and Privacy (SP), 1162-1178, 2021 | 23 | 2021 |
| Linear types for large-scale systems verification J Li, A Lattuada, Y Zhou, J Cameron, J Howell, B Parno, C Hawblitzel Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-28, 2022 | 16 | 2022 |
| Sharding the state machine: Automated modular reasoning for complex concurrent systems T Hance, Y Zhou, A Lattuada, R Achermann, A Conway, R Stutsman, ... 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023 | 11 | 2023 |
| Verus: Verifying rust programs using linear ghost types A Lattuada, T Hance, C Cho, M Brun, I Subasinghe, Y Zhou, J Howell, ... Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 286-315, 2023 | 9 | 2023 |
| Mariposa: Measuring SMT Instability in Automated Program Verification (Technical Report) Y Zhou, J Bosamiya, Y Takashima, J Li, M Heule, B Parno Carnegie Mellon University, 2023 | 1 | 2023 |
| Verus: Verifying Rust Programs using Linear Ghost Types (extended version) A Lattuada, T Hance, C Cho, M Brun, I Subasinghe, Y Zhou, J Howell, ... arXiv preprint arXiv:2303.05491, 2023 | 1 | 2023 |
| Mariposa: Measuring SMT Instability in Automated Program Verification Y Zhou, J Bosamiya, Y Takashima, J Li, M Heule, B Parno Formal Methods in Computer-Aided Design, 178-188, 2023 | | 2023 |
| Galįpagos: Developing Verified Low-Level Cryptography on Heterogeneous Hardware Y Zhou, S Gibson, S Cai, M Winchell, B Parno Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | | 2023 |
