Volver al inicio

SecureChain

TFG

Ampliación para el ecosistema Go de las herramientas de la plataforma de análisis SecureChain. Ingesta masiva de metadatos y resolución de complejos árboles de dependencias multiecosistema mediante Z3 Theorem Prover.

PythonGoFastAPIDagsterZ3 Prover

Aegis Sentinel

Activo

Plataforma EDR de próxima generación. Evoluciona la arquitectura base de Basilisk para ofrecer capacidades avanzadas de monitorización y respuesta automatizada, con escaneo YARA y control de acceso RBAC.

PythonEDRDockerRBAC

Harpocrates

v2.0.0

Gestor de contraseñas CLI/GUI con arquitectura local Zero-Trust. Seguridad de grado militar para almacenamiento de credenciales sin depender de la nube, cifrado AES-256-GCM y derivación Argon2id.

PythonCryptographyZero-Trust

Basilisk

Completado

Sistema EDR modular base con agente de bajo nivel, servidor C2 y dashboard web en tiempo real. Monitorización de red, procesos, FIM y registro. Base arquitectónica de Aegis Sentinel.

PythonFastAPIYARA

Ares

Ofensivo

Toolkit de seguridad ofensiva de alto rendimiento para reconocimiento de redes, descubrimiento de vulnerabilidades y automatización de payloads. Motor de escaneo de puertos altamente concurrente en Go.

GoNetworkingConcurrency

Cript

Completado

Framework didáctico de simulación de protocolos criptográficos seguros. Implementa canales E2EE con Double Ratchet y derivación de claves HKDF.

PythonE2EECryptography