Back to home

SecureChain

Thesis

Expanding the SecureChain analysis platform to support the Go ecosystem. Massive metadata ingestion and resolution of complex multi-ecosystem dependency trees using Z3 Theorem Prover.

PythonGoFastAPIDagsterZ3 Prover

Aegis Sentinel

Active

EDR platform that builds on Basilisk. Adds advanced monitoring, automated response, YARA scanning, and RBAC.

PythonEDRDockerRBAC

Harpocrates

v2.0.0

CLI/GUI password manager with local Zero-Trust architecture. Secure credential storage without relying on the cloud, using AES-256-GCM encryption and Argon2id derivation.

PythonCryptographyZero-Trust

Basilisk

Completed

Modular base EDR system with a low-level agent, C2 server, and real-time web dashboard. Network, process, FIM, and registry monitoring. Architectural foundation of Aegis Sentinel.

PythonFastAPIYARA

Ares

Offensive

High-performance offensive security toolkit for network reconnaissance, vulnerability discovery, and payload automation. Highly concurrent port scanning engine in Go.

GoNetworkingConcurrency

Cript

Completed

Didactic framework for simulating secure cryptographic protocols. Implements E2EE channels with Double Ratchet and HKDF key derivation.

PythonE2EECryptography