To report a security issue, please use the GitHub "Security Advisory" function.
The LearnLib team will send a response indicating the next steps in handling your report. After the initial reply to your report, we will keep you informed of the progress towards a fix and may ask for additional information or guidance.