See the main Hyperlight project: https://github.com/hyperlight-dev/hyperlight/blob/main/SECURITY.md