60 noticias
El criptógrafo D.J. Bernstein, autor del blog cr.yp.to, denuncia que la Agencia de Seguridad Nacional (NSA) de EE. UU. y sus colaboradores impulsaron una votación en el IETF para estandarizar una especificación que elimina el "cinturón de seguridad" de la criptografía elíptica (ECC) en el intercambi
Google ha presentado HEIR (Homomorphic Encryption Intermediate Representation), un compilador de código abierto que permite ejecutar modelos de inteligencia artificial directamente sobre datos cifrados. La herramienta, disponible en heir.dev y en un repositorio de GitHub, forma parte de su Private C
Signal ha empezado a desplegar una función de verificación automática de claves que se suma a su tradicional sistema de números de seguridad. El objetivo es que los usuarios puedan confirmar que nadie se ha interpuesto en una conversación cifrada sin necesidad de encontrarse en persona ni recurrir a
Un investigador relata el proceso de ingeniería inversa que ha emprendido sobre ionCube Loader, el protector comercial de PHP, animado por la compra de Binary Ninja con motivo de su décimo aniversario. Tras desembolsar 200 dólares, necesitaba un objetivo y eligió terminar de revertir el loader para
Steve Gibson presentó a finales de 2013 o principios de 2014 el protocolo SQRL (Secure Quick Reliable Login), un sistema de autenticación web sin contraseñas basado en criptografía asimétrica: cada sitio recibía una identidad criptográfica distinta derivada de una maestra, lo que eliminaba contraseñ
OpenSSH cuenta con una documentación canónica limitada sobre el formato interno de sus claves, concentrada en el archivo PROTOCOL.key dentro del código fuente. Esta guía nace precisamente para cubrir ese vacío: ofrece una explicación detallada, minuciosa y didáctica de los formatos de clave pública
La entrada explica de forma didáctica qué es un árbol de Merkle y por qué resulta clave para autenticar mensajes en sistemas digitales. Parte de una analogía histórica: los sellos reales y las firmas autógrafas, fácilmente falsificables en entornos digitales, para introducir el problema de la autent
El próximo 21 de septiembre de 2026, todos los certificados FIPS 140-2 pasarán a la lista histórica del NIST y dejarán de incluirse en nuevas adquisiciones federales, lo que ha desatado una oleada de compras de módulos FIPS 140-3. Sin embargo, la validación FIPS responde a una pregunta muy concreta:
F* (pronunciado «F star») es un lenguaje de programación de propósito general orientado a la demostración formal, que combina programación puramente funcional y con efectos. Reúne el poder expresivo de los tipos dependientes con automatización de pruebas basada en resolutores SMT y demostración inte
El 28 de julio, Anthropic presentó nuevos ataques criptoanálíticos descubiertos con su modelo Claude Mythos. El primero es un ataque de recuperación de clave sobre HAWK, un esquema de firmas post-cuántico candidato en el proyecto de estandarización del NIST. Aunque no es práctico (HAWK-512 pasa de 1
Un ensayo en primera persona que parte de una anécdota personal para trazar un paralelismo entre dos épocas marcadas por el intento de restringir tecnologías sensibles. Hace veinticinco años, el autor —entonces en Sri Lanka— recibió por correo un CD de OpenBSD 3.0 acompañado de una camiseta con el c
Diamond iO es un nuevo esquema de ofuscación indistinguible (iO) que reduce drásticamente el coste computacional respecto a las construcciones clásicas: pasa de tiempos de ejecución 'galácticos' a 'planetarios', todavía inviables hoy pero cercanos a la práctica tras optimizaciones adicionales. El es
El AT Protocol, marco sobre el que se construye Bluesky, incorpora actualmente un protocolo de datos públicos en el que cada usuario publica registros firmados en su PDS y las aplicaciones los rastrean para construir vistas. Bluesky ha abierto a discusión una propuesta (proposal 0016) que añade un s
En abril de 1984, durante el Zurich Seminar, el ingeniero John Gordon pronunció la célebre "Alice and Bob After Dinner Speech", una conferencia humorística que se convirtió en uno de los textos fundacionales de la cultura criptográfica. Lejos de un paper técnico, Gordon ofreció una suerte de biograf
El algoritmo HAWK, un esquema de firma digital resistente a la computación cuántica que era candidato a estándar en Estados Unidos, quedó fuera de la competencia después de que el modelo de seguridad Mythos, de Anthropic, ayudara a descubrir una vulnerabilidad que lo dejó inutilizado. HAWK había sup
QSYRUPWD es una API de IBM i —la plataforma empresarial heredera de la línea AS/400, todavía extendida en cargas críticas de ERP, finanzas, logística y fabricación— que devuelve, en forma cifrada, datos relacionados con la contraseña de un perfil de usuario a llamantes autorizados. Su función princi
SEAL (Sealed Evidence Anchored to a Ledger) es un estándar abierto, publicado bajo Apache-2.0, que permite demostrar criptográficamente que un archivo es auténtico: que no ha sido alterado ni un solo byte, que existía en una fecha concreta y que fue emitido por un certificado conocido. El proyecto L
Paged Out!, la revista digital gratuita dedicada a la programación, la seguridad informática y la cultura demoscene, ha publicado su número 9, correspondiente a julio de 2026. La edición, editada por Aga y dirigida por Gynvael Coldwind, reúne más de 70 contribuciones —artículos, ilustraciones y gráf
Los criptógrafos definen protocolos cada vez más complejos que resuelven muchos problemas, pero esa riqueza los convierte en herramientas casi imposibles de usar con seguridad por desarrolladores no especializados: lo que el autor llama las "puertas de Norman" de la criptografía. El artículo contras
Un investigador autodidacta descubrió una vulnerabilidad crítica en Paxel, la herramienta que Y Combinator (YC) utiliza dentro de su programa Startup School 26 para puntuar el trabajo de los solicitantes con ayuda de un modelo de lenguaje. La aplicación, instalada mediante un único comando en el equ
Un desarrollador ha presentado Semoi, un complemento para Obsidian diseñado para certificar que un texto fue redactado por una persona y no generado por un modelo de lenguaje. La herramienta mide el tiempo de escritura y registra los eventos de pulsación y liberación de teclas del documento, y al fi
Edky es una utilidad multiplataforma que convierte claves públicas Ed25519 entre distintos formatos de codificación. Pensada para desarrolladores que trabajan con sistemas criptográficos heterogéneos, evita tener que escribir parsers específicos cada vez que dos bibliotecas o protocolos representan
Las passkeys son la única respuesta de fondo al phishing, pero su implementación en el servidor resulta más compleja que la de los hashes de contraseñas, en parte porque dependen del navegador y en parte porque no existe un formato de almacenamiento interoperable. El autor, Filippo Valsorda, present
La verificación formal permite demostrar la corrección de enunciados matemáticos escribiendo la prueba en código para que un programa la valide mecánicamente. Entre las herramientas disponibles se encuentran Rocq (antes Coq), Isabelle y Lean, esta última creada en 2013 por Leonardo de Moura en Micro
Una herramienta de auditoría basada en inteligencia artificial, llamada zkao, descubrió una vulnerabilidad de solidez crítica en la biblioteca openvm-pairing del zkVM OpenVM. El fallo, registrado como CVE-2026-46669 y corregido en OpenVM 1.6.0, reside en la comprobación de pairings de las curvas BN2
Un ensayo divulgativo publicado en un blog personal establece un paralelismo entre la definición del arte que formuló León Tolstói en su libro «¿Qué es el arte?» (1897) y el concepto criptográfico de prueba de conocimiento cero (ZKP). El texto parte de la idea tolstoiana según la cual el arte consis
La atestación remota es un mecanismo criptográfico que permite comprobar, tras cada arranque, que un host ejecuta el hardware, el firmware, el kernel, la imagen de inicialización y el sistema de archivos raíz esperados. Frente al secure boot tradicional, basado en la firma de artefactos, la atestaci
Un estudio publicado en arXiv el 2 de julio de 2026 demuestra que la suposición central de la firma de commits en Git —que un hash identifica de forma única e inmutable un contenido firmado— no se cumple. Los autores muestran que, sin acceso a la clave privada y sin romper SHA-2, un atacante puede p
El View State de ASP.NET almacena el estado de las páginas web en el lado del servidor y, cuando está mal configurado, puede ser explotado por atacantes. Este artículo, continuación de una investigación previa sobre una vulnerabilidad de IIS sin parche, explica paso a paso cómo descifrar mensajes de
La empresa de seguridad zkSecurity ha aplicado su canal de auditoría basado en inteligencia artificial a CIRCL, la biblioteca experimental de criptografía avanzada y poscuántica de Cloudflare, y ha confirmado siete vulnerabilidades reales, ya corregidas en el repositorio original. La mayoría recibió
Este artículo describe un flujo de trabajo de verificación formal que toma código criptográfico Rust en producción y genera pruebas de corrección certificadas por el núcleo de Lean 4. La canalización articula tres líneas técnicas recientes en una sola cadena operativa. En primer lugar, herramientas
Cualquier servicio web que presuma de ofrecer cifrado «extremo a extremo» parte de un modelo de amenaza incoherente. En el modelo de la plataforma web, el propio operador del servidor distribuye el código del lado del cliente, de modo que si ese operador fuese malicioso podría, sin más, enviar un Ja
Un reciente informe de error en APT, que reportaba fallos de TLS en sistemas FIPS por errores de MD5, ha destapado un problema sistémico en el ecosistema de software que usa OpenSSL: la costumbre generalizada de invocar ERR_clear_error() antes o después de operaciones TLS para silenciar códigos de e
Un modelo de amenaza es un documento vivo, no una instantánea: se redacta en las fases de diseño y arquitectura de cualquier producto o servicio para identificar qué se protege, de quién y cómo. En su blog Dhole Moments, el criptógrafo Soatok ofrece una guía introductoria, en tono desenfadado, para
La verificación de edad en internet se ha convertido en un debate intenso, y muchas de las críticas al modelo europeo suelen ser infundadas o deliberadamente engañosas. Este artículo defiende que limitar el acceso de menores a ciertos contenidos no equivale a justificar la vigilancia masiva: el verd
La ofuscación se considera la primitiva más poderosa de la criptografía: permite convertir cualquier programa en una caja negra que produce la salida correcta sin revelar su funcionamiento interno. Combinada con una cadena de bloques, permitiría construir, entre otros, sistemas de votación seguros,
La ofuscación es la primitiva criptográfica más potente concebida hasta la fecha: permite convertir un programa en una caja negra que cualquiera puede ejecutar sin revelar su funcionamiento interno. Combinada con una blockchain, puede sustituir a prácticamente cualquier "tercero de confianza" imagin
El canal de YouTube Zanzlanz publicó un vídeo divulgativo de algo más de 15 minutos en el que explica, paso a paso, cómo funcionan los generadores de números pseudoaleatorios empleados por los navegadores y juegos —entre ellos Flash— y cómo pueden invertirse para predecir resultados futuros o recupe
Investigadores de seguridad, en colaboración con Hanno Böck del proyecto badkeys, han identificado una familia de claves RSA vulnerables que denominan «short-sleeve» porque los ceros no cubren por completo los «limbs» (fragmentos de bits) de los enteros grandes que componen la clave. El defecto prov
Slack no incorpora cifrado de extremo a extremo en sus mensajes, pero un desarrollador ha demostrado que es posible implementarlo aprovechando una funcionalidad poco explotada de la plataforma: los bloques de vídeo de Block Kit. El proyecto, de código abierto y publicado en GitHub bajo el nombre e2e
Las funciones hash —esas herramientas matemáticas que permiten verificar, almacenar y proteger información— tienen un origen concreto que suele pasarse por alto. En 1956, Arnold Dumey, matemático formado en la Universidad de Columbia y apasionado de la criptografía desde los catorce años, publicó el
El fondo de capital riesgo Paradigm, vinculado al mundo de las criptomonedas, se ha convertido en el nuevo custodio de la solución al último panel sin descifrar de la escultura Kryptos, instalada frente a la sede de la CIA en Langley, Virginia, desde 1990. La obra del artista Jim Sanborn, de 80 años
Encrypted Spaces es un proyecto de investigación que propone una arquitectura para aplicaciones colaborativas en las que los datos permanecen cifrados y las operaciones son verificables criptográficamente. Su objetivo es eliminar la necesidad de confiar en los servidores que almacenan y procesan inf
La Cypherpunk Library reúne catorce textos fundacionales del movimiento cypherpunk, todos ellos de dominio público. La colección, descrita por su autor como una estantería personal, agrupa manifiestos, ensayos y documentos clave sobre criptografía, privacidad, moneda electrónica, hacktivismo y auton
Durante casi veinte años, el sistema GPS ha emitido mensajes cifrados de carácter militar a través de un campo de navegación pensado para uso público. Investigadores han analizado un archivo de 12,16 millones de observaciones recogidas entre 2007 y principios de 2026 en estaciones terrestres de todo
Durante casi dos décadas, el Pentágono de Estados Unidos ha estado transmitiendo en secreto claves de cifrado militar a través de una señal GPS pública, convirtiendo cada uno de los satélites de navegación en una estación clandestina de números. Así lo ha demostrado Steven Murdoch, profesor de ingen
Una investigación sometida a arXiv el 3 de junio de 2026 examina empíricamente a Pearl, una blockchain de capa 1 respaldada públicamente por figuras relevantes del sector de la inteligencia artificial. El trabajo cuantifica, por primera vez, la distancia entre lo que la red promete y lo que realment
ohbin es una herramienta de línea de comandos diseñada para resolver un problema habitual en proyectos Python gestionados con uv: la instalación de binarios distribuidos exclusivamente como GitHub Releases, como ripgrep, oasdiff o linters escritos en Rust. uv solo puede instalar paquetes Python, por
rscrypto es una biblioteca criptográfica escrita en Rust puro que agrupa primitivas como RSA, Ed25519, X25519, cifrados AEAD, funciones hash, KDF, hash de contraseñas y CRCs en un único crate, sin requerir de forma predeterminada dependencias en C, OpenSSL u otras bibliotecas de sistema. Su objetivo
Un análisis técnico de un investigador aficionado revela que los datos cifrados de razonamiento que devuelven las API de OpenAI y Anthropic pueden reenviarse entre sesiones e incluso entre cuentas distintas sin que los servidores lo detecten. El hallazgo, que el propio autor califica de modesto, apu
Shamir's Secret Sharing es una técnica criptográfica diseñada para gestionar información sensible de manera que ninguna sola parte posea el control total ni el riesgo de pérdida total. Inventado por Adi Shamir (coautor del algoritmo RSA) en 1979, este método permite dividir un secreto en múltiples f
Un nuevo método para alcanzar consenso preservando la privacidad fue presentado en stoffelmpc.com por Mikerah Quintyne‑Collins. La propuesta permite a un grupo de participantes –en el ejemplo, cuatro amigos– decidir entre varias opciones (tres restaurantes) sin revelar las puntuaciones individuales
La Agencia de Seguridad Nacional (NSA) ha emitido una advertencia sobre el uso de la Distribución de Claves Cuánticas (QKD) y la Criptografía Cuántica (QC) para proteger las comunicaciones en los Sistemas de Seguridad Nacional (NSS). La NSA no recomienda su implementación a menos que se superen limi
Un investigador ha demostrado que un supuesto "ataque cuántico" a la criptografía de curva elíptica (ECDLP) realizado con hardware de IBM Quantum, y que había ganado un premio de 1 BTC, en realidad es reproducible utilizando números aleatorios generados por ordenador (os.urandom). El ataque, present
Cerno es una solución innovadora para la verificación humana que elimina la necesidad de hardware especializado, como capturas de pantalla o audio. En un mundo donde los bots y el fraude online son un problema creciente, Cerno ofrece una alternativa más segura y discreta a los métodos tradicionales
## LLMs Revelan Identidades Ocultas en Línea: Una Amenaza a la Privacidad Online Un nuevo estudio revela que los modelos de lenguaje grandes (LLMs) están demostrando una capacidad alarmante para desanonimizar a usuarios en línea, incluso con información limitada y sin necesidad de datos estructurad
El marco 'Human Root of Trust' (HRT) es una iniciativa crucial para abordar un problema emergente en el mundo de la inteligencia artificial: la falta de responsabilidad y trazabilidad en los sistemas autónomos. En esencia, HRT no es un producto ni un estándar, sino un *principio* fundamental y una a
En el mundo de la informática, el ordenamiento es una operación fundamental, presente en casi todos los lenguajes de programación. Si bien algoritmos como Quicksort y Mergesort son eficientes, su dependencia de datos específicos introduce un riesgo de seguridad: los ataques de canal lateral. Estos a
Este artículo describe un avance significativo en la criptografía: la demostración de la primera colisión real para la función hash SHA-1. SHA-1, aunque oficialmente desaprobada desde 2011, aún se utiliza ampliamente en diversas aplicaciones, desde firmas de documentos y certificados TLS hasta siste
## ☕️ Juegos: Desentrañando Palabras "Zipadas" - Un Reto de Lógica y Deducción **1. Introducción: ¿Qué es y por qué es importante?** El desafío presentado, "5 words that have been zippered together", es un juego de lógica y deducción que implica descifrar una frase o conjunto de palabras que han s
