SIGNALER une erreur


5G  Accréditations anonyme  Adressage calculé  Algorithmes  Anonymat  Apprentissage Automatique  Apprentissage Fédéré  Apprentissage automatique  Apprentissage machine  Assembleur  Attaque par canaux auxiliaires  Attaques  Attaques contre la mémoire  Attaques par canaux cachés  Attestation en profondeur  Attribut  Authentification  Authentification mutuelle  Base de données  Bases de données chiffrées  Blockchain  Calcul Multipartite Sécurisé  Calcul sécurisé  Calculs Multipartites  Calculs multipartites  Canaux auxiliaires  Cartes à mémoire  Certification d’Aléa  Chiffrement  Chiffrement  Chiffrement Fonctionnel  Chiffrement basé sur l'identité  Chiffrement complètement homomorphe  Chiffrement de bout-en-bout  Chiffrement de disque  Chiffrement fonctionnel  Chiffrement homomorphe  Chiffrement par zone  Chiffrement à clef publique  Chiffres  Classification  Clef-publique  Cloud  Cloud computing  Clé publique  Codes correcteurs d’erreurs  Complexite calcul  Computational complexity  Computer science  Confidentialité  Confidentialité Différentielle  Constructions génériques  Contremesures  Cryptanalyse  Cryptographie  Cryptographie Post-Quantique  Cryptographie appliquée  Cryptographie basée sur les réseaux  Cryptographie post-quantique  Cryptographie quantique  Cryptographie à bas-coût  Cryptographie à base de mots de passe  Cryptographie à clé publique  Cryptographie à seuil  Cryptography  Cryptologie  Cryptologie post-quantique  Cryptomonnaie  Cybersecurité  Diffusion  Diffusion chiffrée  Dissymétriques  Distribué  Données géospatiales  Droit à la vie privée  Décentralisation  Décidabilité  Décidabilité  Délégation  Embarqué  Espace vectoriel  Espions matériels  FHE  Fautes  Feistel  Fonctions booléennes  Garbled circuits  Gaussian sampling  Goldreich’s PRG  Groupe fini  Gröbner, Bases de  Guérison  Générateurs de nombre pseudo-aléatoires  Générateurs de nombres pseudo-aléatoires  Hash proof system  Hypothèses calculatoire  Identification  Implémentations efficaces  Information protection  Informatique  Informatique en nuage  Infrastructures à clés publiques  Internet des objets  Intégrité  Intégrité des calculs  Java SecureRandom  La révocation  Liage par couche  Linux /dev/random  Logarithmes  Logiciels -- Vérification  MAC incrémentaux  Mathématiques  Messagerie sécurisée  Messageries instantanées  Mesures de sûreté  Meta-hypothèses  Modes opératoires  Module  Modèle calculatoire  Modèle du Groupe Algèbrique  Modèle du Groupe Générique  Modèle du groupe algébrique  Modèle du groupe générique  Modèles de sécurité  Monnaie electronique  Monnaie numérique  Monnaie électronique  Mot clé libre  Mot de passe  Mot de passe approximatif  Multi-party computation  Multi-utilisateur  One More Discrete Logarithm  OpenSSL  Optimisation de protocoles de calculs quantiques distribués  Partage de Secret Fonctionnel  Post-Quantique  Post-quantum  Preuve de localisation  Preuve à divulgation nulle de connaissance  Preuves de Connaissances  Preuves de connaissance  Preuves zero-knowledge  Preuves à divulgation nulle  Preuves à divulgation nulle de connaissance  Primitives cryptographiques  Produit scalaire  Programmation  Projective hash functions  Protection de l'information  Protection information  Protocol  Protocole d’échange de clé  Protocoles  Protocoles client-serveur  Protocoles cryptographiques  Protocoles de messageries asynchrones  Protocoles d’internet  Protocoles homomorphes  Protocoles multi-partites sécurisés  Respect de la Vie privée  Robustesse  Réseau 5G  Réseaux euclidiens  Réseaux neuronaux  SNARK  Sciences appliquees  Secret  Secret du vote  Secret partagé  Signal  Signatures  Signatures Caméléons  Signatures de Schnorr aveugles  Signatures de classes d’équivalence  Signatures de groupe  Signatures en blanc  Signatures numériques  Signatures électroniques  Smooth projective hash function  Systèmes informatiques -- Mesures de sûreté  Sécurité  Sécurité de l’information  Sécurité de protocoles  Sécurité des protocoles cryptographiques  Sécurité en présence de message dépendant de la clé  Sécurité physique  Sécurité prouvable  Sécurité prouvée  TPM  TPM virtuel  Techniques asymétriques  Telecommunications et theorie de l'information  Théorie algorithmique des nombres  Traçage de traîtres  Vie privée  Vote  Vote électronique  Vérification  Équivalence  

David Pointcheval a rédigé la thèse suivante :

Les preuves de connaissance et leurs preuves de securite

par David Pointcheval sous la direction de B. VALLEE - Caen

Sciences appliquées
Soutenue en 1996
Thèse soutenue


David Pointcheval dirige actuellement les 9 thèses suivantes :

Développement d'opérations optimisées pour la cryptographie homomorphe

par Nicolas Bon sous la direction de David Pointcheval - Université Paris sciences et lettres

Informatique
En préparation depuis le 03-09-2022
Thèse en préparation

Calcul sur les données chiffrées

par Ky Nguyen sous la direction de David Pointcheval - Université Paris sciences et lettres

Informatique
En préparation depuis le 01-09-2021
Thèse en préparation

Chiffrement avancé et résistance post-quantique

par Lénaïck Gouriou sous la direction de David Pointcheval - Université Paris sciences et lettres

Informatique
En préparation depuis le 01-09-2019
Thèse en préparation

contribution à la cryptographie interactive

par Baptiste Cottier sous la direction de David Pointcheval - Université Paris sciences et lettres

Mathématiques
En préparation depuis le 01-09-2018
Thèse en préparation

Soutenance prévue le 06-01-2023

Design and Implementation of Lattice-Based Cryptography

par Tancrède Lepoint sous la direction de David Pointcheval - Paris, École normale supérieure

Cryptographie
Soutenue le 30-06-2014
Thèse en préparation

Etude de la sécurité des systèmes de chiffrement

par Patrick Derbez sous la direction de David Pointcheval - Paris, École normale supérieure

Informatique
Soutenue le 09-12-2013
Thèse en préparation

Diffusion chiffrée avec traçage de traîtres

par Mario Strefler sous la direction de David Pointcheval - Université Paris sciences et lettres

Cryptographie (informatique)
En préparation depuis le 01-10-2009
Thèse en préparation

La cryptographie au service de l'apprentissage automatique respectueux de la vie privée

par Théo Ryffel sous la direction de David Pointcheval et de Francis Bach . - Université Paris sciences et lettres

Mathématiques
Soutenue le 23-06-2022
Thèse en préparation

Sécurité de l'hypothèse One-more Discrete Logarithm et des signatures de Schnorr aveugle.

par Antoine Plouviez sous la direction de David Pointcheval et de Georg Fuchsbauer . - Université Paris sciences et lettres

Informatique
Soutenue le 29-10-2021
Thèse en préparation


David Pointcheval a dirigé les 29 thèses suivantes :

Homomorphic cryptography and privacy

par Chloé Hébant sous la direction de David Pointcheval et de Duong Hieu Phan . - Université Paris sciences et lettres

Informatique
Soutenue le 20-05-2021
Thèse soutenue

Accéder en ligne

Transferable e-cash : an analysis in the algebraic group model

par Balthazar Bauer sous la direction de David Pointcheval et de Georg Fuchsbauer . - Université Paris sciences et lettres

Informatique
Soutenue le 14-12-2020
Thèse soutenue

Accéder en ligne

Delegation in functional encryption

par Jérémy Chotard sous la direction de Duong Hieu Phan et de David Pointcheval . - Limoges

Informatique
Soutenue le 02-12-2019
Thèse soutenue

Accéder en ligne

Secure Multi-Party Computation and Privacy

par Aurélien Dupin sous la direction de Christophe Bidan et de David Pointcheval . - CentraleSupélec

Informatique (STIC)
Soutenue le 13-06-2019
Thèse soutenue

Accéder en ligne

A tale of SNARKs : quantum resilience, knowledge extractability and data privacy

par Anca Nitulescu sous la direction de David Pointcheval , Michel Abdalla et de Dario Fiore . - Paris Sciences et Lettres (ComUE)

Mathématiques
Soutenue le 01-04-2019
Thèse soutenue

Accéder en ligne

Cryptography for pragmatic distributed trust and the role of blockchain

par Quentin Santos sous la direction de David Pointcheval - Paris Sciences et Lettres (ComUE)

Informatique fondamentale
Soutenue le 20-12-2018
Thèse soutenue

Accéder en ligne

Advanced password-authenticated key exchanges

par Pierre-Alain Dupont sous la direction de David Pointcheval - Paris Sciences et Lettres (ComUE)

Mathématiques
Soutenue le 29-08-2018
Thèse soutenue

Accéder en ligne

Efficient lattice-based zero-knowledge proofs and applications

par Rafaël del Pino sous la direction de David Pointcheval et de Vadim Lyubashevsky . - Paris Sciences et Lettres (ComUE)

Informatique
Soutenue le 01-06-2018
Thèse soutenue

Accéder en ligne

Algorithmes de recherche sur bases de données chiffrées

par Raphaël Bost sous la direction de Pierre-Alain Fouque et de David Pointcheval . - Rennes 1

Informatique
Soutenue le 08-01-2018
Thèse soutenue

Accéder en ligne

Functional encryption for inner-product evaluations

par Florian Bourse sous la direction de David Pointcheval et de Michel Abdalla . - Paris Sciences et Lettres (ComUE)

Informatique
Soutenue le 13-12-2017
Thèse soutenue

Accéder en ligne

Hybrid fully homomorphic framework

par Pierrick Méaux sous la direction de David Pointcheval et de Vadim Lyubashevsky . - Paris Sciences et Lettres (ComUE)

Informatique
Soutenue le 08-12-2017
Thèse soutenue

Accéder en ligne

Zero-knowledge proofs for secure computation

par Geoffroy Couteau sous la direction de David Pointcheval et de Hoeteck Wee . - Paris Sciences et Lettres (ComUE)

Informatique
Soutenue le 30-11-2017
Thèse soutenue

Accéder en ligne

Diverse modules and zero-knowledge

par Fabrice Ben Hamouda--Guichoux sous la direction de David Pointcheval et de Michel Abdalla . - Paris Sciences et Lettres (ComUE)

Informatique
Soutenue le 01-07-2016
Thèse soutenue

Accéder en ligne

Gaussian sampling in lattice-based cryptography

par Thomas Prest sous la direction de David Pointcheval et de Vadim Lyubashevsky . - Paris, Ecole normale supérieure

Informatique
Soutenue le 08-12-2015
Thèse soutenue

Accéder en ligne

Conception et optimisation de mécanismes cryptographique anonymes

par Olivier Sanders sous la direction de David Pointcheval - Paris, Ecole normale supérieure

Informatique
Soutenue le 24-09-2015
Thèse soutenue

Accéder en ligne

Security analysis for pseudo-random number generators

par Sylvain Ruhault sous la direction de David Pointcheval et de Damien Vergnaud . - Paris, Ecole normale supérieure

Informatique
Soutenue le 30-06-2015
Thèse soutenue

Accéder en ligne

Outils cryptographiques pour les accrédations anonymes

par Roch Olivier Lescuyer de Chaptal Lamure sous la direction de David Pointcheval - Paris 7

Informatique
Soutenue en 2012
Thèse soutenue

Injection de fautes et de logiciels sur les implémentations cryptographiques

par Delphine Masgana sous la direction de David Pointcheval - Paris 7

Informatique
Soutenue en 2012
Thèse soutenue

Preuves de connaissance interactives et non-interactives

par Olivier Blazy sous la direction de David Pointcheval - Paris 7

Informatique
Soutenue en 2012
Thèse soutenue

Accéder en ligne

Etudes d'hypothèses algorithmiques et attaques de primitives cryptographiques

par Charles Bouillaguet sous la direction de David Pointcheval - Paris 7

Informatique
Soutenue en 2011
Thèse soutenue

Construction et Analyse de fonctions de Hachage

par Gaëtan Leurent sous la direction de David Pointcheval - Paris 7

Informatique
Soutenue en 2010
Thèse soutenue

Cryptographie dans les groupes

par Georg Fuchsbauer sous la direction de David Pointcheval - Paris 7

Informatique
Soutenue en 2010
Thèse soutenue

Etude de protocoles cryptographiques à base de mots de passe

par Céline Chevalier sous la direction de David Pointcheval - Paris 7

Informatique
Soutenue en 2009
Thèse soutenue

L' anonymat dans les protocoles cryptographiques

par Malika Izabachène sous la direction de David Pointcheval - Paris 7

Informatique
Soutenue en 2009
Thèse soutenue

Cryptographie dans les groupes

par Cécile Delerablée sous la direction de David Pointcheval - Paris 7

Informatique
Soutenue en 2009
Thèse soutenue

Mécanismes cryptographiques pour la génération de clefs et l'authentification

par Sébastien Zimmer sous la direction de David Pointcheval - Palaiseau, Ecole polytechnique

Informatique
Soutenue en 2008
Thèse soutenue

Accéder en ligne

Preuves de sécurité et problèmes difficiles en cryptologie : études de cas

par Sébastien Kunz-Jacques sous la direction de David Pointcheval - Paris 7

Informatique
Soutenue en 2007
Thèse soutenue

Cryptographie à clé publique : constructions et preuves de sécurité

par Benoit Chevallier-Mames sous la direction de David Pointcheval - Paris 7

Informatique
Soutenue en 2006
Thèse soutenue

Sécurité et efficacité des schémas cryptographiques

par Duong Hieu Phan sous la direction de David Pointcheval - Palaiseau, Ecole polytechnique

Mathématique. Informatique
Soutenue en 2005
Thèse soutenue

Accéder en ligne

David Pointcheval a été président de jury des 13 thèses suivantes :

Design and analysis of provably secure protocols : Applications to messaging and attestation

par Léo Robert sous la direction de Pascal Lafourcade et de Cristina Onete . - Université Clermont Auvergne (2021-...)

Informatique
Soutenue le 22-09-2022
Thèse soutenue

Accéder en ligne

Multi-Party Quantum Cryptography : from Folklore to Real-World

par Luka Music sous la direction de Elham Kashefi et de Céline Chevalier . - Sorbonne université

Informatique
Soutenue le 09-07-2021
Thèse soutenue

Accéder en ligne

Constructions de schémas cryptographiques multi-utilisateurs

par Xuan Thanh Do sous la direction de Duong Hieu Phan et de Minh Ha Le . - Limoges

Mathematiques
Soutenue le 26-03-2021
Thèse soutenue

Accéder en ligne

Privacy-preserving cryptographic protocols

par Patrick Towa sous la direction de Damien Vergnaud - Université Paris sciences et lettres

Informatique
Soutenue le 30-09-2020
Thèse soutenue

Accéder en ligne

Non-interactive arguments of knowledge

par Michele Orrù sous la direction de Georg Fuchsbauer et de Hoeteck Wee . - Université Paris sciences et lettres

Informatique
Soutenue le 07-04-2020
Thèse soutenue

Accéder en ligne

Réseaux idéaux et fonction multilinéaire GGH13

par Alice Pellet--Mary sous la direction de Damien Stehlé - Lyon

Informatique
Soutenue le 16-10-2019
Thèse soutenue

Accéder en ligne

Cryptographie appliquée à la sécurité des systèmes d’information

par Marc Beunardeau sous la direction de David Naccache - Paris Sciences et Lettres (ComUE)

Informatique
Soutenue le 15-01-2019
Thèse soutenue

Accéder en ligne

Formal verification for real-world cryptographic protocols and implementations

par Nadim Kobeissi sous la direction de Karthikeyan Bhargavan et de Bruno Blanchet . - Paris Sciences et Lettres (ComUE)

Informatique
Soutenue le 10-12-2018
Thèse soutenue

Accéder en ligne

Functional encryption applied to privacy-preserving classification : practical use, performances and security

par Damien Ligier sous la direction de Caroline Fontaine et de Renaud Sirdey . - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Informatique
Soutenue le 15-10-2018
Thèse soutenue

Accéder en ligne

Secure implementation of block ciphers against physical attacks

par Dahmun Goudarzi sous la direction de Damien Vergnaud et de Matthieu Rivain . - Paris Sciences et Lettres (ComUE)

Informatique
Soutenue le 21-09-2018
Thèse soutenue

Accéder en ligne

On the security of embedded systems against physical attacks

par Alberto Battistello sous la direction de Louis Goubin et de Christophe Giraud . - Université Paris-Saclay (ComUE)

Informatique
Soutenue le 29-06-2016
Thèse soutenue

Accéder en ligne

Miroirs, Cubes et Feistel Dissymétriques

par Emmanuel Volte sous la direction de Jacques Patarin et de Valérie Nachef . - Cergy-Pontoise

Mathématiques - EM2C
Soutenue le 28-11-2014
Thèse soutenue

Accéder en ligne

Formal Verification of Voting and Auction Protocols : From Privacy to Fairness and Verifiability

par Jannik Dreier sous la direction de Yassine Lakhnech et de Pascal Lafourcade . - Grenoble

Informatique
Soutenue le 25-11-2013
Thèse soutenue

Accéder en ligne

David Pointcheval a été rapporteur des 5 thèses suivantes :

Contributions to data confidentiality in machine learning by means of homomorphic encryption

par Martin Zuber sous la direction de Renaud Sirdey - université Paris-Saclay

Mathématiques et Informatique
Soutenue le 10-12-2020
Thèse soutenue

Accéder en ligne

Vote électronique : définitions et techniques d'analyse

par Joseph Lallemand sous la direction de Véronique Cortier - Université de Lorraine

Informatique
Soutenue le 08-11-2019
Thèse soutenue

Accéder en ligne

Réseaux idéaux et fonction multilinéaire GGH13

par Alice Pellet--Mary sous la direction de Damien Stehlé - Lyon

Informatique
Soutenue le 16-10-2019
Thèse soutenue

Accéder en ligne

Privacy-preserving cryptography from pairings and lattices

par Fabrice Mouhartem sous la direction de Benoît Libert - Lyon

Informatique
Soutenue le 18-10-2018
Thèse soutenue

Accéder en ligne

Outils cryptographiques pour la protection des contenus et de la vie privée des utilisateurs

par Amandine Jambert sous la direction de Gilles Zémor - Bordeaux 1

Informatique
Soutenue le 15-03-2011
Thèse soutenue

Accéder en ligne

David Pointcheval a été membre de jury des 8 thèses suivantes :

Secure Tunnels for Constrained Environments

par Loïc Ferreira sous la direction de Gildas Avoine - Rennes, INSA

Informatique
Soutenue le 18-11-2019
Thèse soutenue

Accéder en ligne

Full disk encryption and beyond

par Louiza Khati sous la direction de Damien Vergnaud - Paris Sciences et Lettres (ComUE)

Informatique
Soutenue le 15-07-2019
Thèse soutenue

Accéder en ligne

Mécanismes de délégation pour les primitives de cryptographie à clé publique

par Xavier Bultel sous la direction de Pascal Lafourcade - Université Clermont Auvergne‎ (2017-2020)

Informatique
Soutenue le 17-05-2018
Thèse soutenue

Accéder en ligne

Advances in public-key cryptology and computer exploitation

par Rémi Géraud sous la direction de David Naccache - Paris Sciences et Lettres (ComUE)

Informatique
Soutenue le 05-09-2017
Thèse soutenue

Accéder en ligne

Security for the cloud

par Mario Cornejo-Ramirez sous la direction de Michel Abdalla - Paris Sciences et Lettres (ComUE)

Informatique
Soutenue le 17-11-2016
Thèse soutenue

Accéder en ligne

Analyse automatique de propriétés d’équivalence pour les protocoles cryptographiques

par Rémy Chretien sous la direction de Stéphanie Delaune - Université Paris-Saclay (ComUE)

Informatique
Soutenue le 11-01-2016
Thèse soutenue

Accéder en ligne

Foundations for analyzing security APIs in the symbolic and computational model

par Robert Künnemann sous la direction de Graham Steel - Cachan, Ecole normale supérieure

Informatique
Soutenue le 07-01-2014
Thèse soutenue

Accéder en ligne

Les algorithmes basés sur le logarithme discret en cryptologie

par Christophe Tymen sous la direction de Jacques Stern - Palaiseau, École polytechnique

Mathématiques et informatique
Soutenue en 2003
Thèse soutenue

ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales | Accessibilité numérique