522 results
-
Techniques de vérification formelle de protocoles cryptographiques
Speaker : Thomas Genet - IRISA
Dans cet exposé, je m'intéresserai uniquement aux failles logiques des protocoles cryptographiques, c'est à dire aux failles liées à un mauvais enchaînement des messages. Je ferai un rapide tour d'horizon des modèles et des techniques de vérification utilisés aussi bien pour la détection de telles failles que pour la preuve formelle de leur absence dans les protocoles. Je parlerais ensuite de la[…] -
Introduction to Secure Multi-Party Computation
Speaker : Martin Hirt - ETH Zurich
Consider a set of $n$ players, each holding a value $x_1,...,x_n$, and an $n$-ary function $f$, specified as an arithmetic circuit over a finite field. How can the players compute $y=f(x_1,...,x_n)$ in such a way that no (small enough) set of dishonest players obtains any joint information about the input values of the honest players (beyond of what they can infer from $y$)? In this talk, we[…] -
Efficient Multi-Party Computation with Dispute Control
Speaker : Zuzana Beerliova - ETH Zurich
Secure multi-party computation (MPC) allows a set of $n$ players to securely compute an agreed function of their inputs, even when up to $t$ of the players are under complete adversarial control. We consider secure MPC in the information-theoretic model with broadcast channels (PKI setup) and present an efficient protocol with optimal resilience ($t< n/2$), using a new technique technique called[…] -
Non-linéarité asymptotique des fonctions booléennes
Speaker : François Rodier - Institut mathématique de Luminy
Les fonctions booléennes sur l'espace $F_2^m$ sont non seulement importantes dans la théorie de codes correcteurs d'erreurs, mais également en cryptographie. Dans ces deux cas, la non-linéarité de ces fonctions est un concept essentiel. Carlet, et Olejar et Stanek ont donné une borne inférieure asymptotique pour la non-linéarité de la plupart d'entre elles. Dans cet exposé, j'améliore cette borne[…] -
Propriétés cryptographiques des fonctions booléennes symétriques
Speaker : Marion Videau - INRIA Rocquencourt
Les fonctions booléennes symétriques sont les fonctions dont la valeur ne dépend que du poids du vecteur d'entrée. Ces fonctions peuvent être représentées plus simplement, que ce soit par leur forme algébrique normale ou leur vecteur des valeurs, que des fonctions booléennes générales --- vecteurs de taille (n+1) contre des vecteurs de taille 2^{n} en général. En outre, ces fonctions ont une[…] -
Autour de l'algorithme LLL flottant
Speaker : Damien Stehlé - LORIA
L'algorithme de Lenstra, Lenstra et Lovasz (LLL) pour réduire les bases de réseaux Euclidiens s'est avéré fort utile dans de nombreux domaines comme par exemple la cryptanalyse et la détection de relations linéaires entre des nombres réels. Etant donnée une base à coefficients entiers d'un réseau de dimension d avec des vecteurs de normes plus petites que B, LLL calcule une base LLL-réduite en[…]