Biblio

Export 5 results:
Filters: Author is Kaiyuan Zhang  [Clear All Filters]
2023
Zhang Z, Lin Z, Morales M, Zhang X, Zhang K.  2023.  Your Exploit is Mine: Instantly Synthesizing Counterattack Smart Contract. 32nd USENIX Security Symposium (USENIX Security 23). :1757--1774.
2021
Miller S, Zhang K, Chen M, Jennings R, Chen A, Zhuo D, Anderson T.  2021.  High Velocity Kernel File Systems with Bento. 19th USENIX Conference on File and Storage Technologies (FAST 21). :65--79.
2020
Zhang K, Zhuo D, Akella A, Krishnamurthy A, Wang X.  2020.  Automated Verification of Customizable Middlebox Properties with Gravel . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :221--239.
2019
Zhuo D, Zhang K, Zhu Y, Liu HHarry, Rockett M, Krishnamurthy A, Anderson T.  2019.  Slim: OS Kernel Support for a Low-Overhead Container Overlay Network. 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). :331-344.
2017
Yan E, Zhang K, Wang X, Strauss K, Ceze L.  2017.  Customizing Progressive JPEG for Efficient Image Storage. 9th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 17).