Preguntas etiquetadas con cr.crypto-security

Esta es una publicación cruzada de math.stackexchange. Deje que FACT denote el problema de factorización de enteros: dado encuentre los primos y los enteros modo quep i ∈ N , e i ∈ N , n = ∏ k i = 0 p e i i .n ∈ N ,n∈N,n …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

No se sabe que la factorización es NP-completa. Esta pregunta solicitó las consecuencias de que Factoring sea NP-completo. Curiosamente, nadie preguntó por las consecuencias de Factoring estar en P (tal vez porque esa pregunta es trivial). Entonces mis preguntas son: Cual seria el teorico consecuencias de Factoring estar en P? …

34 cc.complexity-theory  cr.crypto-security  conditional-results  factoring 

La publicación de blog de Scott Aaronson hoy dio una lista de interesantes problemas / tareas abiertas en complejidad. Uno en particular me llamó la atención: Cree una biblioteca pública de instancias 3SAT, con la menor cantidad de variables y cláusulas posibles, que tendrían consecuencias notables si se resuelven. (Por …

28 cc.complexity-theory  cr.crypto-security  sat  reductions  factoring 

(Lo siento si esto es bien conocido). Me gustaría darle algún artículo a uno de los agentes, para que el agente obtenga el artículo con probabilidad . ¿Existe una herramienta criptográfica (u otra) para que cada agente (e incluso cada observador) pueda convencerse de que el sorteo al azar fue …

27 cr.crypto-security 

Supongamos que y mañana aparece un algoritmo de tiempo lineal rápido para SAT. De repente, RSA es inseguro, gran parte de nuestro sistema de comunicación moderno está roto y necesitamos reconsiderar cómo mantener secretos entre nosotros.P=NPP=NPP = NP Pregunta: ¿Existe una buena referencia única (o lista corta) para obtener una …

25 cr.crypto-security 

He leído en varios artículos que la existencia de funciones unidireccionales se cree ampliamente. ¿Alguien puede arrojar luz sobre por qué este es el caso? ¿Qué argumentos tenemos para apoyar la existencia de funciones unidireccionales?

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function 

Wikipedia define un segundo ataque de preimagen como: dado un mensaje fijo m1, busque un mensaje diferente m2 tal que hash (m2) = hash (m1). Wikipedia define un ataque de colisión como: encuentre dos mensajes diferentes arbitrarios m1 y m2 de manera que hash (m1) = hash (m2). La única …

24 cr.crypto-security  hash-function 

Actualmente, bitcoin tiene un sistema de prueba de trabajo (PoW) que usa SHA256. Otras funciones hash utilizan una prueba de gráficos de uso del sistema de trabajo, inversión parcial de la función hash. ¿Es posible usar un problema de Decisión en la teoría de nudos como el reconocimiento de nudos …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

Esta pregunta se migró de Cross Validated porque se puede responder en el intercambio teórico de pila de informática. Migrado hace 8 años . Tengo un problema bastante único que resolver y espero que alguien aquí pueda darme una idea de cómo abordarlo mejor. Problema: suponga que una lista de …

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

Actualmente doy un pequeño curso (cuatro conferencias de dos horas a nivel de maestría) sobre Métodos lógicos en seguridad , aunque el título Métodos formales en seguridad podría ser más adecuado. Cubre brevemente los siguientes temas (con métodos lógicos asociados): Gestión de derechos digitales y aplicación de políticas (formalización general, …

22 lo.logic  cr.crypto-security  teaching  security  formal-methods 

Después de leer esta respuesta hace un tiempo, me interesé por el cifrado totalmente homomórfico. Después de leer la introducción de la tesis de Gentry, comencé a preguntarme si su esquema de cifrado podría usarse para la ejecución de código ajeno como se define en el tercer párrafo. En un …

22 cr.crypto-security  homomorphic-encryption  obfuscation 

¿Qué diferencias interesantes hay entre la teoría y la práctica de la seguridad y la criptografía? Por supuesto, lo más interesante serán ejemplos que sugieran nuevas vías para la investigación teórica basada en la experiencia práctica :). Las respuestas pueden incluir (pero no están limitadas a): Ejemplos donde la teoría …

21 cr.crypto-security 

La aparente inutilidad de la minería de criptomonedas planteó la cuestión de alternativas útiles, vea estas preguntas en Bitcoin , CST , MO . Me pregunto si existe un algoritmo que pueda convertir prácticamente cualquier desafío computacional (cuya solución se puede verificar eficientemente) en otro desafío \ Psi (\ mathcal …

20 cc.complexity-theory  cr.crypto-security  cryptojacking 

Esta pregunta se relaciona principalmente con un problema práctico de ingeniería de software, pero me gustaría saber si los teóricos podrían proporcionar más información al respecto. En pocas palabras, tengo una simulación de Monte Carlo que usa un generador de números pseudoaleatorio, y me gustaría paralelizarlo para que haya 1000 …

20 cr.crypto-security  dc.parallel-comp  pseudorandom-generators 

¿Ha habido investigaciones sobre la implementación de construcciones de extractor de aleatoriedad? Parece que las pruebas de extractor utilizan Big-Oh, dejando la posibilidad de grandes constantes ocultas, lo que hace que las implementaciones programáticas sean potencialmente poco realistas. Algún contexto: estoy interesado en usar extractores de aleatoriedad como una fuente …

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory