🛡️ KADI — Kernel-Level Security Enforcement
BPF-LSM framework enforcing cryptographically-signed (HMAC-SHA256) kernel security policies, formally verified in TLA+ to be non-bypassable — even against root. <5% CPU overhead, production-grade.
C eBPF BPF-LSM TLA+ · View Repository →
🔐 PQC-OP-TEE — Post-Quantum Cryptography in ARM TrustZone
NIST-standardized ML-KEM-768 and ML-DSA implemented inside ARM TrustZone's Secure World. Seed-based key regeneration cuts Secure RAM pressure by 60%. Key operations benchmarked under 100ms on real hardware.
C TrustZone OP-TEE ML-KEM ML-DSA
🤖 NukeGPT — AI Red Teaming & LLM Security Testing
Dual-interface (CLI + Web) tool probing LLMs for prompt injection and jailbreak vulnerabilities via the Model Context Protocol.
Python MCP AI Security
🌐 KADI-Net — Kernel + Network Security Fusion (in progress)
Extending KADI's BPF-LSM policy engine to be network-aware — fusing XDP packet filtering with kernel security enforcement into a single policy layer.
XDP eBPF Rust
guest@github:~$ connect --with arunkumar --protocol secure
> linkedin :: linkedin.com/in/arun-kumar-p-41a82320a
> portfolio :: Arunkumar-PortFolio.com
> email :: arunkumar.vasukiperumal@gmail.com
> status :: [ONLINE] open to kernel & security roles
guest@github:~$ █


