Colloquium d’Informatique de Sorbonne Université
Damien Stehlé, CryptoLab
Mardi 20 juin 2023 18 h
Amphi 43 Sorbonne Université - Faculté des Sciences
Cryptographie reposant sur les réseaux : sécurité quantique et au-delà
Damien Stehlé est le directeur scientifique de CryptoLab, une startup travaillant sur le chiffrement homomorphe. Il a obtenu son doctorat à l'Université Nancy 1 en 2005. Il a ensuite été chargé de recherche au CNRS, puis professeur au département d'informatique de l'ENS de Lyon de 2012 à 2023. Il étudie les aspects algorithmiques des réseaux euclidiens et leurs applications en cryptographie. Il est co-auteur du protocole de chiffrement Kyber et du protocole de signature Dilithium, qui ont été sélectionnés par le NIST (Institut américain des normes et de la technologie) comme futurs standards de la cryptographie post-quantique.
Résumé
Un ordinateur quantique de grande taille sera capable de casser efficacement une très grande proportion des protocoles cryptographiques qui garantissent aujourd'hui la confidentialité et la sécurité des données. La cryptographie post-quantique vise à obtenir des constructions alternatives qui sont sûres face à des adversaires quantiques, tout en ne requérant que des calculs classiques de la part des utilisateurs honnêtes. Dans la présentation, je me concentrerai sur les cryptosystèmes reposant sur les réseaux euclidiens, qui fournissent l'approche la plus aboutie en cryptographie post-quantique. Je présenterai également un des sujets les plus actifs en cryptographie reposant sur les réseaux, à savoir le chiffrement homomorphe.
Autres informations
Comité de Pilotage
Annonce des Colloquium
Si vous souhaitez être informé des prochains événements, vous pouvez souscrire à la liste de diffusion.
Si vous ne souhaitez plus être informé des événements, vous pouvez vous désinscrire de la liste de diffusion
- Année 2024 – 2025
- Année 2023 – 2024
-
Maurice Herlihy
25 juin 2024
Further Decentralizing Decentralized Finance -
Jean-Marc Jézéquel
04 avril 2024
Comment dompter la variabilité du logiciel ? -
Claire Mathieu
24 janvier 2024
Vehicle routing and approximation algorithms -
David Bol
21 novembre 2023
Six of the nine planetary boundaries are transgressed – How we do research in the Anthropocene?
-
Maurice Herlihy
- Année 2022 – 2023
- Année 2021 – 2022
- Année 2020 – 2021
- Année 2019 – 2020
- Année 2018 – 2019
-
Cláudio T. Silva
11 juin 2019
Urban Data Science -
Sébastiano Vigna
06 mai 2019
Four degrees of separation (and how we did it) -
Hugo Gimbert
19 mars 2019
Les algorithmes de Parcoursup -
Julie Grollier
05 février 2019
Nanodevices for Bio-inspired Computing -
Jacques Pitrat
20 novembre 2018
L'IA forte -
James Larus
23 octobre 2018
Programming Non-Volatile Memory
-
Cláudio T. Silva
- Année 2017 – 2018
-
Eric Horvitz
20 juin 2018
AI Aspirations and Advances -
Justine Cassell
15 mai 2018
Designing Bots, Virtual Humans, and Other Systems that Can Hold up Their End of the Conversation -
Léon Bottou
06 mars 2018
Une approche géométrique de l'apprentissage non supervisé -
Jean-Luc Schwartz
16 janvier 2018
Modélisation cognitive des unités de la parole -
Timothy Roscoe
30 novembre 2017
The Trouble with Hardware
-
Eric Horvitz
- Année 2016 – 2017
-
Simon Peyton Jones
23 mai 2017
Escape from the ivory tower: the Haskell journey -
Maria Chudnovsky
25 avril 2017
Induced subgraphs and coloring -
Philippa Gardner
28 mars 2017
Understanding and Verifying JavaScript Programs -
Michel Beaudoin-Lafon
28 février 2017
Interfaces Homme-Machine -
Marie-Paule Cani
22 novembre 2016
Modélisation 3D expressive -
Richard Stallman
11 octobre 2016
What Makes Digital Inclusion Good Or Bad? -
Patrick Cousot
29 septembre 2016
Abstract interpretation
-
Simon Peyton Jones
- Année 2015 – 2016
-
Patrick Flandrin
16 juin 2016
« Chirps » everywhere -
Aude Billard
12 avril 2016
Robots that exceed human capabilities -
Willy Zwaenepoel
22 mars 2016
Really Big Data -
Jon Crowcroft
19 janvier 2016
Cybersecurity and network measurement -
Isabelle Collet
24 novembre 2015
Les informaticiennes, de la dominance de classe aux discriminations de sexe -
Xavier Leroy
20 octobre 2015
Desperately seeking software perfection
-
Patrick Flandrin
- Année 2014 – 2015
-
Silvio Micali
26 mai 2015
Proofs, Secrets, and Computation -
Alessandra Carbone
14 avril 2015
The new era of biology is computational -
Serge Abiteboul
24 février 2015
Toward personal knowledge bases -
Manuel Silva
25 novembre 2014
Fluidization of discrete event models or a marriage between the discrete and the continuous -
Andrew S. Tanenbaum
28 octobre 2014
MINIX 3: A Reliable and Secure Operating System
-
Silvio Micali
- Année 2013 – 2014
-
Donald Knuth
17 juin 2014
Computer Science: All Questions Answered -
Jeannette Wing
20 mai 2014
Toward a Theory of Trust in Networks of Humans and Computers -
David Patterson
06 mai 2014
Myths about MOOCs and Software Engineering Education -
Claude Berrou
25 mars 2014
L'information mentale -
Vint Cerf
04 mars 2014
On the Preservation of Digital Information -
C.A.R. (Tony) Hoare
26 novembre 2013
Laws of concurrent system design -
Gilles Dowek
22 octobre 2013
Are formal methods the future of air traffic control?
(Is there an autopilot on board?)
-
Donald Knuth
- Année 2012 – 2013
-
Mathieu Feuillet, Camille Couprie, Mathilde Noual
25 juin 2013
Espoirs : Winners of the 2012 Gilles Kahn prize -
Robert Sedgwick
23 mai 2013
Taking Education Online: A Unique Opportunity for the New Millenium -
Frans Kaashoek
18 avril 2013
The multicore evolution and operating systems -
Stuart Russell
22 janvier 2013
Unifying logic and probability: A “New Dawn” for Artificial Intelligence? -
Georges Gonthier
27 novembre 2012
Le génie mathématique, du théorème des quatre couleurs à la classification des groupes -
Gérard Berry
24 octobre 2012
Le temps et les événements en informatique
-
Mathieu Feuillet, Camille Couprie, Mathilde Noual
- Année 2011 – 2012