If you think you have discovered a security issue, please write to us at kani-verifier-security@amazon.com; do NOT open a public issue. Sensitive information can be encrypted using our PGP key.

We will send a non-automated acknowledgement email reply within 1 business day followed by an initial assessment of the issue within 5 business days. Subsequently, we will work in partnership with you to assess any impact of the issue and prepare a security advisory (including any patches with appropriate fix) as needed.