Biblio

Export 4 results:
Filters: Author is Yi Zhou  [Clear All Filters]
2023
Hance T, Zhou Y, Lattuada A, Achermann R, Conway A, Stutsman R, Zellweger G, Hawblitzel C, Howell J, Parno B.  2023.  Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :911--929.
2019
Chai Z, Fayyaz H, Fayyaz Z, Anwar A, Zhou Y, Baracaldo N, Ludwig H, Cheng Y.  2019.  Towards Taming the Resource and Data Heterogeneity in Federated Learning. 2019 USENIX Conference on Operational Machine Learning (OpML 19). :19--21.
2018
Zhou Y, Kumar D, Bakshi S, Mason J, Miller A, Bailey M.  2018.  Erays: Reverse Engineering Ethereum's Opaque Smart Contracts. 27th USENIX Security Symposium (USENIX Security 18). :1371--1385.
2017
Antonakakis M, April T, Bailey M, Bernhard M, Bursztein E, Cochran J, Durumeric Z, J. Halderman A, Invernizzi L, Kallitsis M et al..  2017.  Understanding the Mirai Botnet. 26th USENIX Security Symposium (USENIX Security 17). :1093--1110.