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

Esta é uma postagem cruzada de math.stackexchange. Deixe FACT denotar o problema de fatoração de número inteiro: dado encontre os números primos e os números inteiros modo quep i ∈ N , e i ∈ N , n = Π k i = 0 p e i i .n ∈ …

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

O fatoramento não é conhecido por ser NP-completo. Esta pergunta pediu consequências do fato de o Factoring ser NP-completo. Curiosamente, ninguém pediu consequências do fato de o Factoring estar em P (talvez porque essa pergunta seja trivial). Então, minhas perguntas são: Qual seria o teórico conseqüências do fatorial estar em …

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

A postagem no blog de Scott Aaronson hoje deu uma lista de problemas / tarefas abertos interessantes em complexidade. Um em particular chamou minha atenção: Crie uma biblioteca pública de instâncias 3SAT, com o menor número possível de variáveis ​​e cláusulas, que teria consequências notáveis ​​se resolvidas. (Por exemplo, instâncias …

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

(Desculpe, se isso é bem conhecido.) Gostaria de dar algum item a um dos agentes , para que o agente obtenha o item com probabilidade . Existe uma ferramenta criptográfica (ou outra) para que todo agente (e até todo observador) possa se convencer de que o desenho aleatório foi realmente …

27 cr.crypto-security 

Suponha que e um algoritmo rápido de tempo linear para SAT apareça amanhã. De repente, a RSA fica insegura, grande parte do nosso sistema de comunicação moderno está quebrado e precisamos reconsiderar como manter segredos um do outro.P= NPP=NPP = NP Pergunta: Existe uma boa referência única (ou lista curta) …

25 cr.crypto-security 

Li em vários artigos que se acredita amplamente na existência de funções de mão única . Alguém pode esclarecer por que esse é o caso? Que argumentos temos para apoiar a existência de funções unidirecionais?

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

A Wikipedia define um segundo ataque de pré-imagem como: dada uma mensagem fixa m1, encontre uma mensagem diferente m2, tal que hash (m2) = hash (m1). A Wikipedia define um ataque de colisão como: encontre duas mensagens diferentes arbitrárias m1 e m2, de modo que hash (m1) = hash (m2). …

24 cr.crypto-security  hash-function 

Atualmente, o bitcoin possui um sistema de prova de trabalho (PoW) usando SHA256. Outras funções de hash usam gráficos de uso do sistema de prova de trabalho, inversão parcial da função de hash. É possível usar um problema de Decisão na Teoria do Nó, como o reconhecimento do Nó, e …

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

Esta questão foi migrada da Cross Validated porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 8 anos . Tenho um problema bastante único para resolver e espero que alguém aqui possa me dar algumas dicas sobre a melhor forma de enfrentá-lo. Problema: Suponha que uma lista …

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

Atualmente, ensino um pequeno curso (Quatro palestras de duas horas no nível de mestrado) sobre Métodos Lógicos em Segurança , embora o título Métodos Formais em Segurança possa ser mais adequado. Ele cobre brevemente os seguintes tópicos (com métodos lógicos associados): Gerenciamento de direitos digitais e aplicação de políticas (formalização …

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

Depois de ler esta resposta há algum tempo, me interessei pela criptografia totalmente homomórfica. Depois de ler a introdução da tese de Gentry, comecei a me perguntar se o esquema de criptografia dele poderia ser usado para a execução de código inconsciente, conforme definido no terceiro parágrafo. Em um esquema …

22 cr.crypto-security  homomorphic-encryption  obfuscation 

Que diferenças interessantes existem entre teoria e prática de segurança e criptografia? O mais interessante será, obviamente, exemplos que sugerem novos caminhos para a pesquisa teórica com base na experiência prática :). As respostas podem incluir (mas não estão limitadas a): Exemplos em que a teoria sugere que algo é …

21 cr.crypto-security 

A aparentemente sem sentido da mineração de criptomoedas levantou a questão de alternativas úteis, veja estas perguntas em Bitcoin , CST , MO . Gostaria de saber se existe um algoritmo que possa converter praticamente qualquer desafio computacional (cuja solução pode ser verificada com eficiência) em outro desses desafios (que …

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

Houve pesquisas para implementar construções de extratores aleatórios? Parece que as provas do extrator fazem uso do Big-Oh, deixando a possibilidade de grandes constantes ocultas, tornando as implementações programáticas potencialmente irrealistas. Algum contexto: estou interessado em usar extratores de aleatoriedade como uma fonte rápida de (provavelmente?) Números aleatórios para uso …

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

Essa questão está relacionada principalmente a um problema prático de engenharia de software, mas eu ficaria curioso para saber se os teóricos poderiam fornecer mais insights sobre isso. Simplificando, eu tenho uma simulação de Monte Carlo que usa um gerador de números pseudo-aleatórios e gostaria de paralelá-la para que haja …

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