This repository serves as a comprehensive resource for integrating machine learning with security operations, offering innovative cybersecurity strategies. It features a mix of practical code examples, insightful research, and valuable resources tailored for advancing AI/ML cyber security practices.
DPLL(T)-based Verification tool for DNNs
Scan your AI/ML models for problems before you put them into production.
Local-first AI coding assistant with 9-layer security, adversarial model testing, and cryptographic audit trails. Break your AI before it breaks your code.
Professional AI Security Assurance portfolio demonstrating model supply-chain security, LLM red teaming, static analysis, SBOM validation, risk classification, and governance-aligned AI safety workflows.
Hardened AI Assurance reference platform
Add a description, image, and links to the ai-assurance topic page so that developers can more easily learn about it.
To associate your repository with the ai-assurance topic, visit your repo's landing page and select "manage topics."