ennanzhai
Staff Engineer and researcher at Alibaba Group. Associate Research Scientist at Yale. PhD at Yale. Interested in systems, security, and verification
AlibabaBellevue
Pinned Repositories
achillean-mail
This is a workable email client, which can be used in practice.
auditor
This directory servers to INDaaS
configuration_datasets
The configuration files and issues datasets collected from real users
ennanzhai.github.io
hails
md5-collision
This is a program which can find out two different files that have the same md5 values
repaudit
An auditing language framework allowing administrators to proactively write auditing programs to check potential correlated failure risks in their systems.
ennanzhai's Repositories
ennanzhai/md5-collision
This is a program which can find out two different files that have the same md5 values
ennanzhai/achillean-mail
This is a workable email client, which can be used in practice.
ennanzhai/auditor
This directory servers to INDaaS
ennanzhai/repaudit
An auditing language framework allowing administrators to proactively write auditing programs to check potential correlated failure risks in their systems.
ennanzhai/hails
ennanzhai/configuration_datasets
The configuration files and issues datasets collected from real users
ennanzhai/ennanzhai.github.io