Follow
Yi Zhou
Yi Zhou
Verified email at andrew.cmu.edu - Homepage
Title
Cited by
Cited by
Year
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
22172017
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
1172018
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
232021
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
162022
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
112023
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
92023
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
12023
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
12023
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
The system can't perform the operation now. Try again later.
Articles 1–10