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