
clr
Checker for Lifetimes and other Refinement types

Checker for Lifetimes and other Refinement types

Executable security regression testing for agentic applications and MCP-integrated systems.

Blue-team lab: detecting & mitigating CVE-2025-24054 (Windows NTLM hash disclosure) with Sysmon, Wazuh SIEM, and Group Policy

Apache Struts2 CVE-2017-5638 (Safe Educational Demo)

Proof of Concept (POC) for the CVE-2025-25296 vulnerability affecting Label Studio versions prior to 1.16.0

HTTP Request Smuggling




CVE-2024-4367


This exploit script is designed to simplify exploitation of the Erlang/OTP SSH vulnerability CVE-2025-32433 in the TryHackMe lab environment.

Buildpack providing a workaround for CVE-2021-44228 (Log4j RCE exploit)

Machine Learning based Intrusion Detection Systems are difficult to evaluate due to a shortage of datasets representing accurately network traffic…