542 results
-
Borner le nombre d'agents pour les propriétés d'équivalence.
Speaker : Antoine Dallon - TBD
Les propriétés d'équivalence permettent d'exprimer un nombre important de propriétés de sécurité (secret fort, intraçabilité, anonymat...), soit comme propriété de symétrie, soit en comparant un protocole réél à une situation idéale.<br/> En principe, ces propriétés doivent valoir y compris lorsqu'un nombre arbitraire d'agents différents utilisent le protocole. Nous démontrerons que dans de[…] -
Multilinear Maps from Obfuscation
Speaker : Pooya Farshim - ENS Paris
We provide constructions of multilinear groups equipped with natural hard problems from indistinguishability obfuscation, homomorphic encryption, and NIZKs. This complements known results on the constructions of indistinguishability obfuscators from multilinear maps in the reverse direction.<br/> We provide two distinct, but closely related constructions and show that multilinear analogues of the[…] -
Soutenance de thèse
Speaker : Brice Minaud - Université Rennes 1
TBD -
Symmetric Encryption Scheme adapted to Fully Homomorphic Encryption Scheme
Speaker : Pierrick Méaux - ENS Paris
Fully Homomorphic Encryption is a powerful cryptographic construction, enabling to securely compute all functions on encrypted data, and decrypt the result of the function applied on the real data.<br/> This construction allows to securely delegate computation, which is a very important property with the increasing of the Cloud computing. Many client-server applications are appearing, all needing[…] -
The Analysis of Error-Correcting Capabilities of Non-Binary LDPC Codes
Speaker : Alexei Frolov - Institute for Information Transmission Problems of the Russian Academy of Sciences (IITP RAS)
Non-binary low-density parity-check (NB LDPC) codes significantly outperform their binary counterparts. Moreover, NB LDPC codes are especially good for the channels with burst errors and high-order modulations. This talk is devoted to the analysis of error-correcting capabilities of NB LDPC codes.<br/> We start with distance properties of NB LDPC codes. We consider two approaches to obtain upper[…] -
NFLlib une librairie pour la cryptographie fondée sur les réseaux
Speaker : Carlos Aguilar - INP ENSEEIHT
Dans cette présentation je décrirai dans un premier temps ce que sont les réseaux d’idéaux et leur importance en cryptographie. Ensuite je présenterai quelques techniques (NTT-CRT, opérations modulaires rapides) permettant de manipuler les objets associés à faible coût. Finalement je décrirai comment réaliser des implémentations simples et efficaces de cryptosystèmes fondés sur les réseaux grâce à[…]