Perguntas com a marcação «cr.crypto-security»

Costuma-se dizer que, ao usar o algoritmo MD5 para assinar algumas informações arbitrárias, o segredo compartilhado deve estar no final. Por quê?

16 hash-function  cr.crypto-security 

Até onde eu sei, quase todas as implementações do QKD usam o algoritmo CASCADE de Brassard e Salvail para correção de erros. Este é realmente o método mais conhecido de correção de erros em uma sequência compartilhada de qubits aleatórios ou existe uma proposta melhor que as implementações do QKD …

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

Estou revisando algum modelo criptográfico. Para mostrar sua inadequação, desenvolvi um protocolo artificial baseado no isomorfismo gráfico. É "comum" (ainda controverso!) Supor a existência de algoritmos BPP capazes de gerar "instâncias concretas do problema do isomorfismo gráfico". (Juntamente com uma testemunha de isomorfismo.) No meu protocolo artificial, assumirei a existência …

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

Considere a lista com poucas ligações simples em um ambiente puramente funcional. Seus louvores foram cantados do topo das montanhas e continuarão sendo cantados. Aqui irei abordar um dos muitos pontos fortes e a questão de como ele pode ser estendido à classe mais ampla de sequências puramente funcionais baseadas …

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

Muitos sistemas de criptografia de chave pública têm algum tipo de segurança comprovável. Por exemplo, o sistema criptográfico Rabin é comprovadamente tão difícil quanto fatorar. Gostaria de saber se existe esse tipo de segurança comprovável para sistemas de criptografia de chave secreta, como o AES. Se não, qual é a …

14 cr.crypto-security  algebra  algebraic-complexity 

Uma observação associada à criptografia assimétrica é que algumas funções são (acredita-se que sejam) fáceis de executar em uma direção, mas difíceis de inverter. Além disso, se houver alguma informação de 'alçapão' que permita que a operação inversa seja computada rapidamente, o problema se tornará candidato a um esquema de …

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

Em um artigo intitulado "Sobre a negação na cadeia de referência comum e no modelo aleatório do Oracle", Rafael Pass escreve: Observamos que, ao provar a segurança de acordo com a definição padrão de conhecimento zero no modelo RO [Oracle aleatório], o simulador tem duas vantagens sobre um simulador de …

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

No capítulo 10 do HAC (10.4.2) , vemos o conhecido protocolo de identificação Feige-Fiat-Shamir com base em uma prova de zero conhecimento, usando a dificuldade (presumida) de extrair raízes quadradas do módulo de raízes quadradas de um composto que é difícil de fatorar. Darei o esquema com minhas próprias palavras …

12 cr.crypto-security  proofs  zero-knowledge 

No algoritmo de criptografia minúscula : Diferentes múltiplos de uma constante mágica são usados ​​para evitar ataques simples com base na simetria das rodadas. A constante mágica, 2654435769 ou 9E3779B9 16 é escolhida como , onde ϕ é a razão áurea.232/ϕ232/ϕ2^{32}/ \phi Que propriedades possui que o tornam útil nesse …

12 cr.crypto-security 

Os dados não seriam perdidos ao mapear valores de 6 bits para valores de 4 bits nas S-Boxes do DES? Se sim, como podemos revertê-lo para que a saída correta apareça?

12 cr.crypto-security 

O conceito de um esquema de compartilhamento secreto é frequentemente atribuído a Shamir (A. Shamir, Como compartilhar um segredo , Comm. ACM, 22 (1979), pp. 612-613.) E Blakey (GR Blakey, Salvaguardando chaves criptográficas , em Proc. NCC, volume 48, 1979, pp. 313-317.). A idéia geral é que algum S secreto …

12 cr.crypto-security  application-of-theory 

Estou tentando entender o protocolo bitcoin no contexto da segurança criptográfica computacional. A questão é uma solicitação de referência para fundações de artigos de criptografia em bitcoin. Minha primeira pergunta é qual protocolo criptográfico abstrato o bitcoin está tentando implementar? Temos uma definição de moeda eletrônica / moeda digital em …

11 reference-request  cr.crypto-security 

Eu tenho algumas perguntas sobre enganar circuitos de profundidade constante. Sabe-se que a independência do é necessária para enganar os circuitos A C 0 de profundidade d , em que n é o tamanho da entrada. Como alguém pode provar isso?logO(d)(n)logO(d)⁡(n)\log^{O(d)}(n)AC0AC0AC^0dddnnn Uma vez que o acima for verdadeiro, qualquer gerador …

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

Alguns antecedentes: Estou interessado em encontrar limites inferiores "menos conhecidos" (ou resultados de dureza) para o problema de Aprendizagem com erros (LWE) e generalizações dos mesmos, como Aprender com erros por anéis. Para definições específicas, etc., aqui está uma boa pesquisa da Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf O tipo padrão de suposição no …

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

NNNrrrf ( x + r ) = f ( x ) a &lt; N r rf( x ) = axmodNf(x)=axmodNf(x)=a^x\;\bmod\;Nf( x + r ) = f( X )f(x+r)=f(x)f(x+r)=f(x)a &lt; Na&lt;Na<Nrrrrrr Minha pergunta agora é: Existem limites inferiores conhecidos em para aleatório ? Existe algum limite em dado que é escolhido …

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