Informatique théorique security

1

L'implémentation 2016 de l'algorithme de Shor est-elle vraiment évolutive?

Cette question a été migrée à partir de Computer Science Stack Exchange car il est possible d'y répondre sur Theoretical Computer Science Stack Exchange. Migré il y a 3 ans . Dans l'article scientifique de 2016 " Réalisation d'un algorithme de Shor évolutif " [ 1 ], les auteurs factorisent …

23 cc.complexity-theory ds.algorithms quantum-computing factoring security

6

Curriculum: Méthodes logiques / formelles en sécurité

Actuellement, j'enseigne un petit cours (quatre conférences de deux heures au niveau Master) sur les méthodes logiques en sécurité , bien que le titre Méthodes formelles en sécurité soit peut-être plus approprié. Il couvre brièvement les sujets suivants (avec les méthodes logiques associées): Gestion des droits numériques et application des …

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

5

Est-il possible de tester si un nombre calculable est rationnel ou entier?

Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en quelque sorte lié au fait qu'il …

18 computability computing-over-reals lambda-calculus graph-theory co.combinatorics cc.complexity-theory reference-request graph-theory proofs np-complete cc.complexity-theory machine-learning boolean-functions combinatory-logic boolean-formulas reference-request approximation-algorithms optimization cc.complexity-theory co.combinatorics permutations cc.complexity-theory cc.complexity-theory ai.artificial-intel p-vs-np relativization co.combinatorics permutations ds.algorithms algebra automata-theory dfa lo.logic temporal-logic linear-temporal-logic circuit-complexity lower-bounds permanent arithmetic-circuits determinant dc.parallel-comp asymptotics ds.algorithms graph-theory planar-graphs physics max-flow max-flow-min-cut fl.formal-languages automata-theory finite-model-theory dfa language-design soft-question machine-learning linear-algebra db.databases arithmetic-circuits ds.algorithms machine-learning ds.data-structures tree soft-question security project-topic approximation-algorithms linear-programming primal-dual reference-request graph-theory graph-algorithms cr.crypto-security quantum-computing gr.group-theory graph-theory time-complexity lower-bounds matrices sorting asymptotics approximation-algorithms linear-algebra matrices max-cut graph-theory graph-algorithms time-complexity circuit-complexity regular-language graph-algorithms approximation-algorithms set-cover clique graph-theory graph-algorithms approximation-algorithms clustering partition-problem time-complexity turing-machines term-rewriting-systems cc.complexity-theory time-complexity nondeterminism

1

Hachage de mot de passe à l'aide de problèmes complets NP

Les algorithmes de hachage de mot de passe couramment utilisés fonctionnent comme ceci aujourd'hui: salez le mot de passe et introduisez-le dans un fichier KDF. Par exemple, en utilisant PBKDF2-HMAC-SHA1, le processus de hachage de mot de passe est DK = PBKDF2(HMAC, Password, Salt, ...). Parce que HMAC est un …

16 np-hardness cr.crypto-security np-complete security

3

Quelle est la motivation derrière la définition du pseudo-aléatoire dans Nisan / Wigderson?

Je lis le classique "Hardness vs Randomness" de Nisan et Wigderson. Soit , et fixer une fonction l : N → N . Ils définissent une famille de fonctions G = { G n : B l ( n ) → B n } pour être pseudo-aléatoires dans le cas …

16 cr.crypto-security pseudorandomness pseudorandom-generators security

1

Réutilisation de 5 fonctions de hachage indépendantes pour le sondage linéaire

Dans les tables de hachage qui résolvent les collisions par sondage linéaire, afin d'assurer les performances attendues de , il est à la fois nécessaire et suffisant que la fonction de hachage provienne d'une famille à 5 indépendants. (Suffisance: "Sondage linéaire avec indépendance constante", Pagh et al. , Nécessité: "Sur …

14 ds.data-structures hash-function randomized-algorithms security

1

Trouver la pénombre d'un problème de satisfaction de contraintes

La question suivante s'est posée à plusieurs reprises lors du test de la sécurité d'un système ou d'un modèle. Motivation: les failles de sécurité logicielles ne proviennent souvent pas de bogues dus à des entrées valides, mais de bogues résultant d'entrées non valides suffisamment proches des entrées valides pour passer …

12 lo.logic csp security

Questions marquées «security»