AES-CTR  Accès -- Contrôle  Adresse IP  Adresses Internet  Adversaire cyber-physique  Agrégation confidentielle  Agrégation distribuée  Analyse formelle de concepts  Anonymat  Architectures de sécurité  Argent électronique  Attaques par déni de service  Authentification  Authentification d'objets  Authentification machine-homme  Big data  Blockchain  Chiffrement  Codes correcteurs d'erreurs  Confidentialité  Cryptographie  Cryptographie à clé publique  Cyberdéfense  Informatique dans les nuages  Infrastructures à clés publiques  Mesures de sûreté  Protection de l'information  Protocoles de réseaux d'ordinateurs  Rgpd  Signatures électroniques  Systèmes distribués  Systèmes informatiques -- Mesures de sûreté  Sécurité  Sécurité de l'information  Vote électronique  Vérification  

Pascal Lafourcade a rédigé la thèse suivante :

Vérification de protocoles cryptographiques en présence de théories équationnelles

par Pascal Lafourcade sous la direction de Ralf Treinen et de Denis Lugiez . - Cachan, Ecole normale supérieure

Informatique

Soutenue en 2006

Pascal Lafourcade dirige actuellement les 3 thèses suivantes :

Sécurité et confidentialité des applications décentralisées

par Octavio Perez kempner sous la direction de David Naccache et de Pascal Lafourcade . - Université Paris sciences et lettres

Informatique

En préparation depuis le 01-09-2018

Sécurité des protocoles et structures de données : modélisation et optimisation

par Marius Lombard-platet sous la direction de David Naccache et de Pascal Lafourcade . - Université Paris sciences et lettres

Informatique

Soutenue le 08-09-2021

La sécurité et l’optimisation des chaines à blocs et algorithmes associés

par Mirko Koscina bobadilla sous la direction de David Naccache et de Pascal Lafourcade . - Université Paris sciences et lettres

Informatique

Soutenue le 05-10-2021

Pascal Lafourcade a dirigé les 7 thèses suivantes :

Secure Distributed MapReduce Protocols : How to have privacy-preserving cloud applications?

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

Informatique

Soutenue le 24-09-2019

Security analysis of contactless communication protocols

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

Informatique

Soutenue le 27-11-2018

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

Titre : sécurité et protection de la vie privée pour le calcul déporté.

par Amrit Kumar sous la direction de Pascal Lafourcade et de Cédric Lauradoux . - Université Grenoble Alpes (ComUE)

Mathématiques et Informatique

Soutenue le 20-10-2016

Automated Verification of Exam, Cash, aa Reputation, and Routing Protocols

par Ali Kassem sous la direction de Yassine Lakhnech et de Pascal Lafourcade . - Université Grenoble Alpes (ComUE)

Mathématiques et Informatique

Soutenue le 18-09-2015

Protocols and models for the security of wireless ad-hoc networks

par Raphaël Jamet sous la direction de Pascal Lafourcade - Grenoble

Informatique

Soutenue le 03-10-2014

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

Pascal Lafourcade a été rapporteur des 14 thèses suivantes :

Protocoles cryptographiques pour le respect de la vie privée

par Neals Fournaise sous la direction de Philippe Gaborit et de Olivier Blazy . - Limoges

Informatique

Soutenue le 04-01-2022

On certain types of code-based signatures

par Dang Truong Mac sous la direction de Philippe Gaborit et de Duong Hieu Phan . - Limoges

Informatique

Soutenue le 30-11-2021

On GDPR Compliant Data Processing

par Supriya Adhatarao sous la direction de Claude Castelluccia et de Cédric Lauradoux . - Université Grenoble Alpes

Informatique

Soutenue le 22-07-2021

Cyber-resilience and attack tolerance for cyber-physical systems

par Mariana Segovia-Ferreira sous la direction de Joaquin Garcia-Alfaro et de Ana Cavalli . - Institut polytechnique de Paris

Informatique

Soutenue le 20-05-2021

Généralisation des protocoles en cas multi-utilisateurs

par Laura Brouilhet sous la direction de Olivier Blazy et de Duong Hieu Phan . - Limoges

Mathématiques

Soutenue le 15-12-2020

Affiner la déobfuscation symbolique et concrète de programmes protégés par des prédicats opaques

par Alexandre Gonzalvez sous la direction de Caroline Fontaine et de Fabien Dagnat . - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Informatique

Soutenue le 02-06-2020

Blockchain and access control : towards a more secure Internet of Things

par Sophie Dramé-Maigné sous la direction de Maryline Laurent - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 12-11-2019

Reconciling cloud storage functionalities with security : proofs of storage with data reliability and secure deduplication

par Dimitrios Vasilopoulos sous la direction de Suna Melek Önen - Sorbonne université

Sciences de l'information et de la communication

Soutenue le 23-07-2019

Towards Trustworthy Online Voting : Distributed Aggregation of Confidential Data

par Robert Riemann sous la direction de Stéphane Grumbach - Lyon

Informatique

Soutenue le 18-12-2017

Module de confiance pour externalisation de données dans le Cloud

par Levent Demir sous la direction de Vincent Roca et de Jean-Louis Roch . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 07-12-2017

Réseaux de capteurs et vie privée

par Jessye Dos Santos sous la direction de Claude Castelluccia , Cédric Lauradoux et de Christine Hennebert . - Université Grenoble Alpes (ComUE)

Mathématiques et Informatique

Soutenue le 28-08-2017

Detection of attacks against cyber-physical industrial systems

par Jose Manuel Rubio Hernan sous la direction de Joaquin Garcia-Alfaro - Evry, Institut national des télécommunications

Informatique et réseaux

Soutenue le 18-07-2017

Etude des politiques de sécurité pour les applications distribuées : le problème des dépendances transitives : modélisation, vérification et mise en oeuvre

par Worachet Uttha sous la direction de Jean-Marc Talbot et de Clara Bertolissi . - Aix-Marseille

Informatique

Soutenue le 26-09-2016

Contribution à la sécurité des communications des réseaux de capteurs sans fil

par Ismail Mansour sous la direction de Alain Quilliot et de Michel Misson . - Clermont-Ferrand 2

Informatique

Soutenue le 05-07-2013

Pascal Lafourcade a été membre de jury des 3 thèses suivantes :

Evaluation de la confiance dans les architectures de sécurité

par Jean-Baptiste Orfila sous la direction de Jean-Guillaume Dumas - Université Grenoble Alpes (ComUE)

Mathématiques et Informatique

Soutenue le 03-07-2018

Automated test generation for production systems with a model-based testing approach

par William Durand sous la direction de Sébastien Salva - Clermont-Ferrand 2

Informatique

Soutenue le 04-05-2016

Traçabilité sécurisée embarquée : authentification autonome d'objets et de systèmes embarqués

par Abdourhamane Idrissa sous la direction de Thierry Fournel et de Alain Aubert . - Saint-Etienne

Image, vision, signal

Soutenue le 20-09-2012