Artículos
Análisis técnicos, soluciones CTF y registros de ingeniería.
Artículos
Acreditar lo que un agente de IA tenía permiso para hacer
Pruebas firmadas y verificables sin conexión de las acciones de un agente tras un fallo de protección: 138/138 casos omitidos por el clasificador contenidos y éxito de ataque reducido de 9/140 a 0/140 en AgentDojo.
Cómo oculté ventanas a la captura de pantalla y por qué falla la supervisión de exámenes
La configuración documentada de captura logró un 100% de evasión sin rastros en simulaciones de laboratorio controladas sobre versiones probadas de Windows y macOS. No se probaron productos comerciales de supervisión ni Linux.
Construir un motor de casación de órdenes con latencia inferior al microsegundo en C++20
Cómo una estructura de datos de tres capas permite cancelaciones O(1) y latencia inferior al microsegundo.
Anatomía de un sistema de detección de intrusiones de red
Disección de protocolos por capas, reglas inspiradas en Snort y detección con estado; análisis de 500K+ paquetes/s en un solo hilo con SYN sintéticos.
Análisis en profundidad de la monitorización en ejecución con eBPF
Cómo construir sondas de núcleo seguras y de solo lectura para proteger contenedores.
Construir herramientas de seguridad que funcionan sin conexión con KMP
Compartir el 100% de la lógica de seguridad entre Android, iOS y Web.
Proteger aplicaciones Electron: guía práctica
Gestionar secretos e IPC de forma segura en aplicaciones de escritorio modernas.
Publicaciones de investigación
Publicaciones: 5Los títulos originales y los archivos PDF están en inglés.
The Invisible Window: Exploiting OS-Level Display Affinity to Bypass WebRTC Proctoring Systems
Artículo de 13 páginas sobre evasión de capturas en varias plataformas y divulgación coordinada a los proveedores.
(se abre en una pestaña nueva)Project Simurgh: Privacy-Preserving Device Integrity Proofs for Capture-Resistant High-Stakes Sessions
Continuación defensiva de 12 páginas de The Invisible Window: sustituye la vigilancia visual por pruebas de integridad basadas solo en metadatos.
(se abre en una pestaña nueva)Privacy-Preserving Integrity Evidence for Student-Society Voting-Adjacent Workflows: A Phase C Pilot of Project Simurgh at Macquarie University
Piloto de 5 páginas en un contexto relacionado con votaciones, con 31 sesiones con consentimiento junto a un acto de una asociación estudiantil de Macquarie; excluye la elección del voto, encadena auditorías HMAC, rechaza campos prohibidos y cumple 5/5 controles de cierre de la recopilación.
(se abre en una pestaña nueva)Banking Shield: Machine-Checked Absence Claims for Privacy-Sensitive AI Explanations
Prototipo ficticio de investigación, ajeno a un banco, que convierte límites de privacidad y de afirmaciones excesivas en pruebas comprobables por máquina: cortafuegos de 46 nombres de campo prohibidos cuyos rechazos se auditan, cortafuegos determinista de privacidad de IA sin conexión y recibos por respuesta anclados en cadenas HMAC por sesión. Al congelar las pruebas pasaron 417/417 tests unitarios, 43/43 controles de extremo a extremo y 27/27 controles de seguridad en tres auditorías de privacidad y una puerta estática sin salida de datos. Una prueba formativa con cinco evaluadores y 30 sesiones registró cero valores sensibles y una comprensión de la lista de limitaciones de 5/5.
(se abre en una pestaña nueva)Aion-BibleQA: Evaluating Retrieval and Citation Faithfulness in Verse-Grounded Bible RAG Systems
Artículo de 8 páginas con un benchmark de 40 preguntas para RAG bíblico, que evalúa fidelidad de citas y resistencia a premisas falsas. La recuperación v3 alcanza R@5 = 0.941 y una media de citation_support = 0.978, sin citas carentes de respaldo y con rechazo de 6/6 premisas falsas.
(se abre en una pestaña nueva)