Research / Paper Files

Paper Files

Paper Files es una práctica personal de estudio continuo en ciberseguridad que aplica el método científico como herramienta de aprendizaje. Cada artículo no se escribe para su publicación académica, sino como un ejercicio deliberado para afilar el hacha — profundizando en temas concretos, organizando ideas con rigor y observando cómo evoluciona la comprensión de ciertos asuntos con el tiempo. Es el equivalente intelectual a un cuaderno de entrenamiento: cada entrada registra qué se estudió, cómo se analizó y qué conclusiones surgieron.

Recomiendo encarecidamente que los profesionales de seguridad adopten este método. Elige un tema que quieras dominar, investiga fuentes primarias (RFCs, papers, documentación oficial), estructura tu texto con introducción, metodología, análisis y conclusión, y escribe como si estuvieras explicándoselo a un compañero. El acto de escribir obliga a pensar con claridad y expone lagunas de comprensión que la lectura pasiva no puede revelar. Usa los artículos de este sitio como ejemplos de formato y profundidad, y construye tu propia colección: con el tiempo, tendrás un repositorio personal de conocimiento refinado que ningún curso ni certificación puede sustituir.

DAI & ADAI · 2026

TodosDetectionDFIRAppSecDevSecOpsAI SecurityIAMCloudContainersIRCryptoResearchPhishingSecrets

29 papers

AppSec

Ingeniería de Seguridad de Aplicaciones en Entornos Cloud-Native: Modelado de Amenazas, Instrumentación en Runtime y Detección Basada en Telemetría en 2026

1. Introducción La seguridad de aplicaciones (AppSec) ha evolucionado significativamente en las últimas dos décadas, pasando de revisiones manuales de código y pruebas puntuales de penetración a un ecosistema integrado de prácticas DevSecOps, automatización de pruebas y monitoreo continuo. En 2026, las aplicaciones modernas están compuestas por cientos de microservicios, APIs externas, dependencias open source e infraestructura gestionada por plataformas cloud. Este escenario amplió drásticamente la superficie de ataque y volvió insuficientes las técnicas tradicionales de seguridad para detec

Read paper →
AppSec

Una Arquitectura Formalmente Fundamentada para AppSec Continuo: Integración de Análisis Estático, Dinámico y Observabilidad Orientada a Amenazas con Garantías Cuantificables

CorrelacionTelemetria CorrelacionTelemetria --> PropagacionRiesgo PropagacionRiesgo --> Priorizacion Priorizacion --> Remediacion Remediacion --> Ingesta ``` Este modelo de estados refleja la naturaleza cíclica de la seguridad continua, donde cada iteración mejora la estimación probabilística del riesgo. Tabla: Métodos de verificación aplicados | Método | Herramienta | Propiedad verificada | Nivel de garantía | |---|---|---|---| | Model Checking | TLA+ | Consistencia del flujo | Alto | | Análisis abstracto | Infer / Frama‑C | Seguridad de memoria | Alto | | SMT Solving | Z3 | Restricciones

Read paper →
AppSec

Una Arquitectura Formal y Escalable para AppSec Continua: Integración de Análisis Estático Guiado por Modelos, Instrumentación Dinámica Adaptativa y Verificación de Políticas con Garantías Cuantificables

interprocedimentales precisos pueden formalizarse como problemas de alcanzabilidad en sistemas de ecuaciones de flujo de datos (REPS; HORWITZ; SAGIV, 1995). Livshits y Lam (2005) demostraron la eficacia del análisis estático para la detección de vulnerabilidades en Java, utilizando propagación de taint. La ejecución simbólica y el fuzzing guiado por gramática amplían la cobertura dinámica (GODEFROID; KLARLUND; SEN, 2008). En entornos nativos en la nube, la instrumentación basada en eBPF permite observabilidad de bajo overhead directamente en el kernel de Linux (LWN, 2023), posibilitando la re

Read paper →
AppSec

Una Arquitectura Formal y Escalable para AppSec Continuo Basada en Análisis Híbrido, Modelado de Amenazas Orientado por MITRE ATT&CK y Priorización Cuantitativa de Riesgo

1. Introducción La seguridad de aplicaciones (Application Security – AppSec) constituye un componente central de la postura de seguridad organizacional contemporánea. La transformación digital acelerada, la adopción de arquitecturas basadas en microservicios, APIs RESTful y GraphQL, computación serverless y plataformas Kubernetes han ampliado sustancialmente la superficie de ataque expuesta a adversarios. Además, la incorporación de componentes de inteligencia artificial, incluidos modelos de lenguaje de gran tamaño (LLMs) integrados en aplicaciones corporativas, ha introducido vectores adici

Read paper →
AppSec

Arquitectura Formal y Plataforma Integrada para la Verificación Continua de Seguridad de Aplicaciones (AppSec) Basada en Análisis Híbrido, Modelado de Amenazas y Evidencia Criptográfica

Evidence_Correlation Evidence_Correlation --> Exploit_Verification Exploit_Verification --> Secure Exploit_Verification --> Vulnerable Secure --> [] Vulnerable --> Remediation Remediation --> Code_Analysis ``` Este modelo permite iterar automáticamente el ciclo de verificación dentro del pipeline CI/CD. Métodos de Verificación | Método | Tipo | Garantía | Limitaciones | |---|---|---|---| | Model Checking | Formal | Exhaustividad | Coste computacional | | Symbolic Execution | Semi-formal | Alta precisión | Escalabilidad | | Análisis Estático | Heurístico | Cobertura amplia | Falsos positivo

Read paper →