Preguntas etiquetadas con cr.crypto-security

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el...

Hasta donde yo sé, la mayoría de las implementaciones de generación de números pseudoaleatorios en la práctica utilizan métodos como los registros de retroalimentación de desplazamiento lineal (LSFR) o estos algoritmos "Mersenne Twister". Si bien pasan muchas pruebas estadísticas (heurísticas), no...

¿Es posible convertir un CNF CC\mathcal C en otro CNF modo queΨ(C)Ψ(C)\Psi(\mathcal C) La función se puede calcular en tiempo polinómico a partir de algún parámetro aleatorio secreto .ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) tiene una solución si y solo si tiene una solución.CC\mathcal C Cualquier...

Blum, Micali y Feldman (BFM) presentaron un nuevo modelo (criptográfico), en el que todas las partes (honestas o adversas) tienen acceso a alguna cadena. Se supone que la cadena se selecciona de acuerdo con alguna distribución (generalmente, distribución uniforme) por una parte confiable. Se llama...

Estoy tratando de entender la complejidad de las funciones que se expresan a través de las puertas de umbral y esto me llevó a . En particular, estoy interesado en lo que se sabe actualmente sobre el aprendizaje dentro de T C 0 , ya que no soy un experto en el

Debido a una pregunta que me hizo Greg Kuperberg, me pregunto si hay documentos que definan y estudien clases complejas de idiomas que admitan varios tipos de pruebas de conocimiento . Las clases como SZK y NISZK son extremadamente natural desde un punto de vista la complejidad, incluso si nos...

Una función es unidireccional si puede calcularse mediante un algoritmo de tiempo polinomial, pero para cada algoritmo de tiempo polinómico aleatorio ,f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffAAA Pr[f(A(f(x)))=f(x)]<1/p(n)Pr[f(A(f(x)))=f(x)]<1/p(n)\Pr[f(A(f(x))) =...

Los algoritmos de hashing de contraseñas de uso común funcionan de esta manera hoy en día: agregue la contraseña y alimente a un KDF. Por ejemplo, usando PBKDF2-HMAC-SHA1, el proceso de hash de contraseña es DK = PBKDF2(HMAC, Password, Salt, ...). Debido a que HMAC es un hashing de 2 rondas con...

Suponga que tiene dos participantes arbitrariamente poderosos que no confían el uno en el otro. Tienen acceso al compromiso de bits (por ejemplo, sobres sellados que contienen datos que un jugador puede entregar al otro pero que no se pueden abrir hasta que el primer jugador le dé al segundo una...

A menudo se dice que cuando se utiliza el algoritmo MD5 para firmar información arbitraria, el secreto compartido debe estar al final. ¿Por

Estoy leyendo el clásico "Dureza contra aleatoriedad" de Nisan y Wigderson. Deje , y arregle una función . Definen una familia de funciones para ser pseudoaleatoria en el caso de cada circuito de tamaño que tengamosB = { 0 , 1 }si={0 0,1}B=\{0,1\}l : N → Nl:norte→nortel\colon \mathbb{N} \to...

Por lo que puedo decir, casi todas las implementaciones de QKD usan el algoritmo CASCADE de Brassard y Salvail para la corrección de errores. ¿Es este realmente el método más conocido para corregir errores en una secuencia compartida de qubits aleatorios, o hay una mejor propuesta de que las...

Estoy revisando un modelo criptográfico. Para mostrar su insuficiencia, he diseñado un protocolo artificial basado en el isomorfismo gráfico. Es "común" (¡pero controvertido!) Asumir la existencia de algoritmos BPP capaces de generar "instancias difíciles del problema del isomorfismo gráfico"....

Considere la lista humildemente vinculada en un entorno puramente funcional. Sus alabanzas se han cantado desde las cimas de las montañas y se seguirán cantando. Aquí abordaré uno de sus muchos puntos fuertes y la cuestión de cómo se puede extender a la clase más amplia de secuencias puramente...

Muchos criptosistemas de clave pública tienen algún tipo de seguridad demostrable. Por ejemplo, el criptosistema Rabin es probablemente tan difícil como factorizar. Me pregunto si existe ese tipo de seguridad comprobable para los criptosistemas de clave secreta, como AES. Si no es así, ¿cuál es la...

Una observación asociada con la criptografía asimétrica es que algunas funciones son (se cree que son) fáciles de realizar en una dirección pero difíciles de invertir. Además, si existe alguna información de 'trampa' que permite que la operación inversa se calcule rápidamente, entonces el problema...

En un artículo titulado "Sobre la negabilidad en la cadena de referencia común y el modelo aleatorio de Oracle", Rafael Pass escribe: Observamos que al probar la seguridad de acuerdo con la definición estándar de conocimiento cero en el modelo RO [Random Oracle], el simulador tiene dos ventajas...

¿No se perderían los datos al asignar valores de 6 bits a valores de 4 bits en los S-Box de DES? Si es así, ¿cómo podemos revertirlo para que aparezca la salida

En el algoritmo de cifrado minúsculo : Se usan diferentes múltiplos de una constante mágica para evitar ataques simples basados ​​en la simetría de las rondas. La constante mágica, 2654435769 o 9E3779B9 16 se elige para ser , donde ϕ es la proporción áurea.232/ϕ232/ϕ2^{32}/ \phi ¿Qué...

En el capítulo 10 de HAC (10.4.2) , vemos el conocido protocolo de identificación Feige-Fiat-Shamir basado en una prueba de conocimiento cero que utiliza la (presunta) dificultad de extraer el módulo de raíces cuadradas de un compuesto que es difícil de factorizar. Daré el esquema en mis propias...