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