I am an associate research scientist of Computer Science Department at Yale University. My research interests cover many fields, including systems, verification, security and privacy. I am now working with Ruzica Piskac, Mahesh Balakrishnan, and Avi Silberschatz to improve the reliability of large-scale distributed systems (e.g., preventing correlated failures and configuration errors) by proposing efficient, accurate and rapid auditing techniques. I am also working with Joan Feigenbaum, Bryan Ford and Jean-Pierre Hubaux on building PriFi, the first low-latency and tracking-resistant anonymous communication system.

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.

Selected Publications

Resisting Tag Spam by Leveraging Implicit User Behaviors.
Ennan Zhai, Zhenhua Li, Zhenyu Li, Fan Wu and Guihai Chen.
Proceedings of the VLDB, Vol. 10, No. 3.
43rd International Conference on Very Large Data Bases (VLDB'17), Aug, 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].

Other Publications

Automated Analysis and Repair By Example for Firewalls.
William Hallahan, Ennan Zhai, and Ruzica Piskac.
17th Formal Methods in Computer-Aided Design (FMCAD'17), Oct, 2017.

Practical Web-based Delta Synchronization for Cloud Storage Services.
He Xiao, Zhenhua Li, Ennan Zhai, and Tianyin Xu.
9th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage'17), Jul, 2017.

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].

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.
[PDF]. [Talk Slides].

Teaching Experience

Professional Service

Last Update: Jul. 2017