Maintainers
The project is maintained by following people, feel free to contact them if you are interested in the project:
- Memory-safety and security hardening: Mingshen Sun
<[email protected]>
- Formal verification: Qian Feng
- SGX support: Huibo Wang and Yu Ding
Also, huge thanks to our steering committees:
- Tao Wei
- Yulong Zhang