SEAL/ISSUES.md

1.0 KiB

Issues

Technical questions

The best way to get help with technical questions is on StackOverflow using the [seal] tag. To contact the Microsoft SEAL team directly, please email sealcrypto@microsoft.com.

Bug reports

We appreciate community efforts to find and fix bugs and issues in Microsoft SEAL. If you believe you have found a bug or want to report some other issue, please do so on GitHub. To help others determine what the problem may be, we provide a helpful script that collects relevant system information that you can submit with the bug report (see below).

System information

To collect system information for an improved bug report, please run

make -C tools system_info

This will result in a file system_info.tar.gz to be generated, which you can optionally attach with your bug report.

Critical security issues

For reporting critical security issues, see SECURITY.md.