SecureChain
TFGAmpliación de la plataforma SecureChain para dar soporte al ecosistema Go. Ingesta masiva de metadatos y resolución de complejos árboles de dependencias multiecosistema mediante Z3 Theorem Prover.
Seguridad ofensiva, arquitecturas defensivas y proyectos académicos. Cada línea de código fue escrita para aprender más de lo que enseña.
Ampliación de la plataforma SecureChain para dar soporte al ecosistema Go. Ingesta masiva de metadatos y resolución de complejos árboles de dependencias multiecosistema mediante Z3 Theorem Prover.
Plataforma EDR que evoluciona la arquitectura base de Basilisk. Añade capacidades de monitorización, respuesta automatizada, escaneo YARA y control de acceso RBAC.
Gestor de contraseñas CLI/GUI con arquitectura local Zero-Trust. Almacenamiento seguro de credenciales sin depender de la nube, cifrado AES-256-GCM y derivación Argon2id.
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.
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.
Framework didáctico de simulación de protocolos criptográficos seguros. Implementa canales E2EE con Double Ratchet y derivación de claves HKDF.