Self-improving security filter for AI applications. Learns from missed attacks, auto-deploys validated rules, and self-prunes false positives.
-
Updated
May 9, 2026 - Python
Self-improving security filter for AI applications. Learns from missed attacks, auto-deploys validated rules, and self-prunes false positives.
In this lab, I demonstrate how to use Group Policy Objects (GPOs) on Windows Server 2022 to enforce enterprise-style restrictions on a domain-joined workstation, including hiding system icons, enforcing a corporate wallpaper, blocking Control Panel, Settings, Command Prompt, PowerShell, software uninstallation, network settings, and USB drives.
"A mathematically-verified deterministic core acting as a security filter. Fully proved (19/19 obligations) via Frama-C (Alt-Ergo/Why3), Coq, TAL+, and LTL.
CFAM (Core Filtering AI Middleware). A standalone CLI that prevents unpredictable AI outputs from breaking production systems via deterministic validation.
Add a description, image, and links to the security-filter topic page so that developers can more easily learn about it.
To associate your repository with the security-filter topic, visit your repo's landing page and select "manage topics."