Yi Zhou

yizhou5 [at] andrew [dot] cmu [dot] edu

2128D, Collaborative Innovation Center, 4720 Forbes Ave, Pittsburgh, PA, 15213

Hello there. I'm Yi (pronounced as the letter "e"). Somewhere on this page you might see a pictorial representation of me, riding on a bus in the good old days, not having to worry about the pandemic.

I'm currently a Ph.D. student at CMU, where I have the privilege to have Bryan Parno as my advisor. Prior to that, I received my B.S. and M.S. from UIUC, where I was fortunate to have Michael Bailey as my advisor.

My current research interest is mainly in applied formal methods, where we use formal analysis and proofs to ensure the correctness and security of real world software systems.

In my free time I enjoy playing the electric guitar, despite being terrible at it.

This website's template was shamelessly copied from Deepak Kumar.


A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. Antoine Delignat-Lavaud, Cedric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, and Yi Zhou. 42nd IEEE Symposium on Security and Privacy, MAY 23-27, 2021.

Erays: Reverse Engineering Ethereum's Opaque Smart Contracts. Yi Zhou, Deepak Kumar, Surya Bakshi, Joshua Mason, Andrew Miller, Michael Bailey. 27th USENIX Security Symposium, August 15-17, 2018.

Understanding the Mirai Botnet. Manos Antonakakis, Tim April, Michael Bailey, Matt Bernhard, Elie Bursztein, Jaime Cochran, Zakir Durumeric, J. Alex Halderman, Luca Invernizzi, Michalis Kallitsis, Deepak Kumar, Chaz Lever, Zane Ma, Joshua Mason, Damian Menscher, Chad Seaman, Nick Sullivan, Kurt Thomas, Yi Zhou. In 26th USENIX Security Symposium, August 16-18, 2017.