Preguntas etiquetadas con cr.crypto-security

¿Existe una familia conocida de acciones grupales con un elemento designado en el conjunto sobre el que se está actuando, donde se sabe cómo eficientemente \: muestra (esencialmente uniforme) de los grupos, calcula las operaciones inversas, calcula las operaciones del grupo y calcula las acciones del grupo \: y no …

9 cr.crypto-security  quantum-computing  gr.group-theory 

En el artículo de Adi Shamir [1] de 1979, muestra que la factorización se puede hacer en un número polinómico de pasos aritméticos . Este hecho fue reiterado, y por lo tanto me llamó la atención, en el reciente artículo de Borwein y Hobart [2] en el contexto de los …

9 cc.complexity-theory  cr.crypto-security  algebraic-complexity 

Background––––––––––––––Background_\underline{\bf Background} En 2005, Regev [1] introdujo el problema de Aprendizaje con errores (LWE), una generalización del problema de Paridad de aprendizaje con error. La suposición de la dureza de este problema para ciertas opciones de parámetros ahora subyace a las pruebas de seguridad para una gran cantidad de criptosistemas …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem 

Wikipedia - SHA-2 dice SHA-224 es idéntico a SHA-256, excepto que: los valores de la variable inicial h0 a h7 son diferentes y la salida se construye omitiendo h7. RFC3874 - Una función de hash unidireccional de 224 bits: SHA-224 dice El uso de un valor inicial diferente asegura que …

9 cr.crypto-security  hash-function 

Esta pregunta surgió en el contexto de la criptografía, pero a continuación la presentaré en términos de teoría de la complejidad, ya que las personas aquí están más familiarizadas con esta última. Esta pregunta está relacionada con problemas en NP pero no en Promedio-P / poli y No uniformidad de …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

recientemente, Craig Gentry publicó el primer esquema de cifrado de clave pública (sobre espacio de texto plano {0,1}) que es completamente homomórfico, lo que significa que uno puede evaluar de manera eficiente y compacta AND y XOR en textos cifrados sin conocer la clave de descifrado secreta. Me pregunto si …

9 cr.crypto-security  circuit-complexity  homomorphic-encryption 

En resumen: suponiendo que existan permutaciones unidireccionales , ¿podemos construir una que no tenga trampilla? Más información: Una permutación unidireccional es una permutación ππ\pi que es fácil de calcular, pero difícil de invertir (consulte el wiki de etiqueta de función unidireccional para obtener una definición más formal). Generalmente consideramos familias …

9 cr.crypto-security  one-way-function 

¿Cómo puede obligar a una parte a ser honesta (obedecer las reglas del protocolo)? He visto algunos mecanismos como compromisos, pruebas, etc., pero simplemente no parecen resolver todo el problema. Me parece que la estructura del diseño del protocolo y tales mecanismos deben hacer el trabajo. ¿Alguien tiene una buena …

9 cr.crypto-security  gt.game-theory 

¿Existe un protocolo criptográfico que, al menos en teoría (y bajo los supuestos criptográficos estándar) permite a las personas votar de forma segura desde sus hogares? Pude ver cómo se podrían abordar los diversos problemas (como: evitar que las personas voten dos veces, presentar pruebas de que el voto se …

8 cr.crypto-security 

Un código de autenticación de mensaje (MAC) se define por un triple de algoritmos eficientes , que satisfacen lo siguiente (la definición se toma de la sección 4.3 de Katz -Lindell libro ):(Gen,MAC,Verif)(Gen,MAC,Verif)(\mathsf{Gen}, \mathsf{MAC}, \mathsf{Verif}) En la entrada , el algoritmo genera una clave .1n1n1^nGenGen\mathsf{Gen}k≥nk≥nk \ge n En la entrada …

8 cr.crypto-security 

Pruebas simultáneas de conocimiento cero con complejidad redonda logarítmica Los números de página son del propio documento, y no del pdf. De la página 3, "Un sistema de prueba interactiva se dice que es negro-box (computacional) cero conocimiento si hay una máquina del tiempo oráculo polinomio probabilístico tal que para …

8 cr.crypto-security  concurrency  zero-knowledge 

Me gustaría saber la importancia de TCS en la investigación de malware. Debido al gran volumen de nuevas variantes de malware recibidas por día (~ 50,000 muestras / día según McAfee), los investigadores de malware dependen en gran medida del análisis dinámico (es decir, ejecutar las muestras en un sandbox …

8 cr.crypto-security  security 

La suposición decisiva de Diffie-Hellman , o DDH en resumen, es un problema famoso en criptografía. La suposición DDH se mantiene en un grupo cíclico de orden (primo) q , si es para un generador g ∈ G , y para aleatoriamente a , b , c ∈ \ mathbb …

8 cr.crypto-security  randomized-algorithms 

Supongamos que hay partes p j , cada una con un bit b j ∈ { 0 , 1 } . Quiero calcular la multiplicación del número de unidades por ceros, es decir, R = ( ∑ b j ) × ( N - ∑ b j ) .N>2N>2N>2pjpjp_jbj∈{0,1}bj∈{0,1}b_j\in{\{0,1\}}R=(∑bj)×(N−∑bj)R=(∑bj)×(N−∑bj)R=(\sum{b_j})\times(N-\sum{b_j}) El …

8 cr.crypto-security  security 

Muchos resultados en criptografía dependen de resultados / conjeturas imposibles en la teoría de la complejidad. Por ejemplo, se cree que la criptografía de clave pública que usa RSA es posible debido a la conjetura sobre la inviabilidad de la factorización (y los problemas de búsqueda de raíz modular). Mi …

8 cc.complexity-theory  cr.crypto-security  computability