I am an associate research scientist of Computer Science Department at Yale University. My research interests include distributed system reliability, security and privacy, as well as software verification. I am now working with Ruzica Piskac and Avi Silberschatz to address the cloud reliability problems (e.g., correlated failures and configuration errors) by proposing new language and verification techniques. I am also working with Joan Feigenbaum and Bryan Ford on low-latency anonymous communication.

I received my Ph.D. degree in 2015 from Yale University, under the guidance of Bryan Ford. During my 4-year Ph.D. study, I spent most of my time on building a proactive cloud-reliability auditing system, which was published in OSDI'14 and constitutes the core of my Ph.D. dissertation. I am still working on improving each component of INDaaS now.

Referred Publications

Resisting Tag Spam by Leveraging Implicit User Behaviors.
Ennan Zhai, Zhenhua Li, Zhenyu Li, Fan Wu and Guihai Chen.
43rd International Conference on Very Large Data Bases (VLDB'17), Sep, 2017.

Probabilistic Automated Language Learning for Configuration Files.
Mark Santolucito, Ennan Zhai, and Ruzica Piskac.
28th International Conference on Computer Aided Verification (CAV'16), Jul, 2016

AnonRep: Towards Tracking-Resistant Anonymous Reputation.
Ennan Zhai, David Isaac Wolinsky, Ruichuan Chen, Ewa Syta, Chao Teng, and Bryan Ford.
13th USENIX Symposium on Networked Systems Design and Implementation (NSDI'16), Mar, 2016.
[PDF]. [Talk Slides].

Heading Off Correlated Failures through Independence-as-a-Service.
Ennan Zhai, Ruichuan Chen, David Isaac Wolinsky, and Bryan Ford.
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI'14), Oct, 2014.
[PDF]. [Technical Report]. [Talk Slides]. [Talk Video]. [The Register News].

Sorcery: Could We Make P2P Content Sharing Systems Robust to Deceivers?
Ennan Zhai, Ruichuan Chen, Zhuhua Cai, Long Zhang, Eng Keong Lua, Huiping Sun, Sihan Qing, Liyong Tang, and Zhong Chen.
9th IEEE International Conference on Peer-to-Peer Computing (P2P'09), Sep, 2009.
Awarded Outstanding Paper. [PDF]. [Talk Slides].

Other Publications

Large-Scale Invisible Attack on AFC Systems with NFC-Equipped Smartphones.
Fan Dang, Pengfei Zhou, Zhenhua Li, Ennan Zhai, Aziz Mohaisen, Qingfu Wen, and Mo Li.
36th IEEE International Conference on Computer Communications (INFOCOM'17), Apr, 2017.

Building Privacy-Preserving Cryptographic Credentials from Federated Online Identities.
John Maheswaran, Daniel Jackowitz, Ennan Zhai, David Isaac Wolinsky, and Bryan Ford.
6th ACM Conference on Data and Application Security and Privacy (CODASPY'16), Mar, 2016.

On the Synchronization Bottleneck of OpenStack Swift-Like Cloud Storage Systems.
Thierry Titcheu, Ennan Zhai, Zhenhua Li, Yong Cui, and Kui Ren.
35th IEEE International Conference on Computer Communications (INFOCOM'16), Apr, 2016.

A Risk-Evaluation Assisted System for Service Selection.
Ennan Zhai, Liang Gu and Yumei Hai.
22nd IEEE International Conference on Web Services (ICWS'15), Jun, 2015.
[PDF]. [Talk Slides].

An Untold Story of Redundant Clouds: Making Your Service Deployment Truly Reliable.
Ennan Zhai, Ruichuan Chen, David Isaac Wolinsky, and Bryan Ford.
9th Workshop on Hot Topics in Dependable Systems (HotDep'13), Nov, 2013.
[PDF]. [Talk Slides].

Teaching Experience

Professional Service

Last Update: Jan. 2017