Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
760 results
-
-
Seminar
-
Cryptography
Une analyse de l'écosystème SSL/TLS (rejeu de soutenance de thèse)
Speaker : Olivier Levillain - ANSSI
SSL/TLS est un protocole de sécurité datant de 1995 qui est devenu aujourd'hui une brique essentielle pour la sécurité des communications, depuis les sites de commerce en ligne ou les réseaux sociaux jusqu'aux réseaux privés virtuels (VPN), en passant par la protection des protocoles de messagerie électronique, et de nombreux autres protocoles. Ces dernières années, SSL/TLS a été l'objet de toutes[…] -
-
-
Seminar
-
Cryptography
Oblivious Transfer: mieux que le PIR ?
Speaker : Olivier Blazy - Limoges
La notion d'Oblivious Transfer a été introduite en 1981 par Rabin, dans le but d'autoriser un receveur à recevoir une (et seulement une) ligne dans une base de k messages, sans que l'émetteur ne sache lequel. Diverses techniques /modèles ont été proposés pour réaliser cette fonctionnalité, nous montrerons dans cet exposé de récents développements sur comment instancier génériquement une telle[…] -
-
-
Seminar
-
Cryptography
Fast Fourier Orthogonalization
Speaker : Thomas Prest - Thales Communications and Security
La transformée de Fourier rapide (FFT) permet de calculer en temps quasilinéaire le produit de deux polynômes dans l'anneau de convolution R[x]/(xd-1), une tâche qui nécessiterait un temps quadratique de manière naïve. De manière équivalente, elle permet d'accélérer les produits matrice-vecteur quand la matrice est circulante. Dans nos travaux, nous montrons que les idées de la FFT peuvent être[…] -
-
-
Seminar
-
Cryptography
Chiffrement basé sur l'identité à l'aide de réseaux NTRU
Speaker : Thomas Prest - ENS
Les réseaux euclidiens (ou réseaux) permettent de construire une grande variété de primitives cryptographiques. Cependant, les implémentations efficaces de schémas basés sur les réseaux se sont jusqu'à présent toujours limitées à des primitives basiques comme le chiffrement et les signatures électroniques.<br/> La principale raison à cette limitation est le fait qu'au coeur de nombre de ces[…] -
-
-
Seminar
-
Cryptography
Constructive cryptography and composability; de-constructing TLS
Speaker : Cristina Onete - IRISA, Université Rennes 1
-
-
-
Seminar
-
Cryptography
Keep your friends close with distance-bounding protocols
Speaker : Maria Cristina Onete - IRISA
Authentication protocols, run between a prover and a verifier, allow the verifier to check the legitimacy of the prover. A legitimate prover should always authenticate (the correctness requirement), while illegitimate parties (adversaries) should not authenticate (the soundness or impersonation resistance requirement). Secure authentication protocols thwart most Man-in-the-Middle (MIM) attacks,[…] -