Preguntas etiquetadas con cr.crypto-security

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

16 hash-function  cr.crypto-security 

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 implementaciones …

14 cr.crypto-security  quantum-computing  quantum-information 

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". (Junto con un testigo de isomorfismo). En mi protocolo artificial, voy …

14 graph-theory  cr.crypto-security  automorphism  graph-isomorphism  randomized-algorithms 

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 funcionales …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

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 evidencia de que romper …

14 cr.crypto-security  algebra  algebraic-complexity 

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 se convierte en candidato para …

13 cc.complexity-theory  cr.crypto-security  homomorphic-encryption 

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 sobre un …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

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 palabras (y …

12 cr.crypto-security  proofs  zero-knowledge 

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é propiedades tiene 232/ϕ232/ϕ2^{32}/ \phi …

12 cr.crypto-security 

¿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 correcta?

12 cr.crypto-security 

El concepto de un esquema de intercambio secreto a menudo se atribuye a Shamir (A. Shamir, Cómo compartir un secreto , Comm. ACM, 22 (1979), pp. 612-613.) Y Blakey (GR Blakey, Salvaguarda de claves criptográficas , en Proc. NCC, vol. 48, 1979, pp. 313-317.). La idea general es que algunos …

12 cr.crypto-security  application-of-theory 

Tengo algunas preguntas sobre engañar a los circuitos de profundidad constante. Se sabe que la independencia de es necesaria para engañar a los circuitos A C 0 de profundidad d , donde n es el tamaño de la entrada. ¿Cómo se puede probar esto?Iniciar sesiónO ( d)( n )logO(d)⁡(n)\log^{O(d)}(n)A C0 …

11 cc.complexity-theory  cr.crypto-security  circuit-complexity  derandomization  pseudorandom-generators 

Estoy tratando de entender el protocolo bitcoin en el contexto de la seguridad criptográfica computacional. La pregunta es una solicitud de referencia a fundamentos de artículos de criptografía sobre bitcoin. Mi primera pregunta es ¿qué protocolo criptográfico abstracto está intentando implementar Bitcoin? ¿Tenemos una definición de dinero electrónico / moneda …

11 reference-request  cr.crypto-security 

Algunos antecedentes: Estoy interesado en encontrar límites inferiores "menos conocidos" (o resultados de dureza) para el problema de Aprendizaje con errores (LWE) y generalizaciones de los mismos como Aprender con errores sobre anillos. Para definiciones específicas, etc., aquí hay una buena encuesta realizada por Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf El tipo estándar de …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

En 1975, Miller mostró cómo reducir la factorización del número entero para encontrar el período r de una función f ( x ) = a xNNNrrr tal que f ( x + r ) = f ( x ) con algunos elegidos al azar a < N . Es bien …

11 cc.complexity-theory  cr.crypto-security  factoring