I. Projets de recherche en cours
- OpenDreamkit, projet EU H2020 [2015-2019]
Partenaires : UVSQ, Université Paris-Sud, CNRS, Jacobs University Bremen, Université Joseph Fourier, University of Kaiserslautern, University of Oxford, University of Silesia, University of Sheffield, University of Southampton, University of St Andrews, University of Warwick, Universität Zürich, Logilab, Simula Research Laboratory
Responsable scientifique du projet pour l’UVSQ : Luca DE FEO
Description : OpenDreamKit is a Horizon 2020 European Research Infrastructure project (#676541) that will run for four years, starting from September 2015. It will provide substantial funding to the open source computational mathematics ecosystem, and in particular popular tools such as LinBox, MPIR, SageMath, GAP, Pari/GP, LMFDB, Singular, MathHub, and the IPython/Jupyter interactive computing environment.
From this ecosystem, OpenDreamKit will deliver a flexible toolkit enabling research groups to set up Virtual Research Environments, customised to meet the varied needs of research projects in pure mathematics and applications, and supporting the full research life-cycle from exploration, through proof and publication, to archival and sharing of data and code.
Site Web : http://opendreamkit.org/
- BRUTUS, projet ANR [2014-2018]
Partenaires : UVSQ, ANSSI, INRIA Paris-Rocquencourt, INRIA Sophia Antipolis, Lille 1, Rennes 1, Orange
Responsable scientifique du projet pour l’UVSQ : Michaël QUISQUATER
Description : Le projet BRUTUS vise à évaluer et à designer des algorithmes de chiffrement authentifiés. Dans un premier temps une analyse cryptographique des candidats à l’appel CAESAR sera effectuée. Dans un second temps, la conception de tels algorithmes résistants à des attaques par canaux cachés ou en boite blanche sera considérée.
- CRYPTOCOMP, projet FUI (Fonds Unique Interministériel) [2014-2017] Labellisé par le pôle de compétitivité System@tic
Partenaires : UVSQ, CEA LIST, CryptoExperts, ENS, Dictao, XLIM, ViAccess Orca, CNRS Lab-STICC, Bertin Technologies, Kalray, Gemalto
Responsable scientifique du projet pour l’UVSQ : Louis GOUBIN
Description : Le projet CRYPTOCOMP vise à mettre au point la première véritable plateforme de cryptocalcul pour le cloud. Plusieurs fois exploratoire, CRYPTOCOMP s’appuie sur la multi-disciplinarité de son consortium pour concevoir des outils logiciels innovants permettant à des opérateurs de services de développer et d’instrumenter concrètement des applications de cryptocalcul à très faible surcoût de génie logiciel.
- IdealCodes, projet Digiteo [2014-2016]
Partenaires : Ecole Polytechnique, UVSQ
Responsable scientifique du projet pour l’UVSQ : Luca DE FEO
Description : Coppersmith’s methods for coding theory and cryptography
- CLE, projet ANR Jeunes-Chercheurs [2013-2017]
Partenaires : INRIA/ENS, UVSQ, LIASD, INRIA, UCL, Thales
Responsable scientifique du projet pour l’UVSQ : Nicolas GAMA
Description : Cryptography from Learning with Errors
- ARGC, projet Digiteo [2013-2016]
Partenaires : Ecole Polytechnique, UVSQ
Responsable scientifique du projet pour l’UVSQ : Luca DE FEO
Description : Arithmétique Rapide pour la Géométrie et la Cryptologie
II. Projets de recherche terminés
- PRINCE, projet ANR [2010-2014]
Partenaires : ENS Paris, UVSQ, Oberthur, Gemalto, Ingenico, Tranef
Responsable scientifique pour l’UVSQ : Jacques PATARIN
Description : L’objectif du projet est de concevoir de nouveaux systèmes cryptographiques et de nouvelles contre-mesures avec un niveau de sécurité prouvé contre toutes les attaques par canaux cachés possibles, et avec une implémentation vérifiée par des outils de méthodes formelles. Il s’agit d’un projet de recherche industrielle qui rassemble des chercheurs en cryptographie théorique avec des experts de l’industrie en sécurité des systèmes embarqués.
- MARSHAL+, projet FUI (Fonds Unique Interministériel) [2012-2014]
Labellisé par les pôles de compétitivité System@tic et SCS (« Solutions Communicantes Sécurisées » = pôle de compétitivité mondial)
Partenaires : EADS, CryptoExperts, Télécom ParisTech, Université Bordeaux 1 (LaBRI), UVSQ, IRPI, INVIA, Tranef, Université de Limoges (XLIM), Secure IC, Inside Secure
Responsable scientifique pour l’UVSQ : Louis GOUBIN
Description : Le but du projet MARSHAL est de concevoir et de réaliser un prototype de sécurité portable qui résiste à toutes les attaques par reverse-engineering connues. Dans le cadre du projet, ce produit expérimental sera conçu pour le contrôle d’accès à des données numériques ; mais il devra aussi être extensible pour pouvoir fournir à terme d’autres services de sécurité (authentification bancaire, portefeuille électronique,…). Le projet MARSHAL s’intéresse également aux aspects sociétaux du piratage et étudiera à ce titre les enjeux légaux associés au reverse-engineering de manière à élaborer une théorie de la légalité du reverse engineering.
- ECLIPSES, projet ANR VERSO [2009-2012] Labellisé par le pôle de compétitivité System@tic
Partenaires : Gemalto, Invia, UVSQ, CryptoExperts, CEA-Leti
Responsable du projet pour l’UVSQ : Louis GOUBIN
Description : ECLIPSES a pour objectif la conception d’une plate-forme matérielle spécifique aux applications cryptographiques basées sur les courbes elliptiques. Le coprocesseur cryptographique visé supportera les opérations de base (addition et doublement de points, multiplication scalaire, couplage bilinéaire, etc) sur un vaste domaine de courbes différentes. Le cryptoprocesseur ECLIPSES vise à résister de manière transparente à tous les types d’attaques physiques connues utilisant l’analyse par canaux cachés et par injection de fautes, en garantissant ainsi l’intérêt industriel des applications cryptographiques déployées. On soulignera le besoin de se conformer aux contraintes de l’embarqué : consommation minimale, surface limitée, etc, en visant une implémentation matérielle en moins de 10000 portes logiques. ECLIPSES contribuera ainsi au déploiement des courbes ellliptiques dans l’industrie de la sécurité embarquée.
- TISPHANIE, projet FUI (Fonds Unique Interministériel) [2009-2011] Labellisé par le pôle de compétitivité System@tic
Partenaires : UVSQ, Bertin Technologies, CEA-Leti, EADS, Ecole Nationale des Mines de Saint-Etienne, Gemalto, Trusted Labs, Trusted Logic, Université de Limoges (XLIM), Ministère de l’intérieur
Responsable du projet pour l’UVSQ : Louis GOUBIN
Description : Le but principal du projet TISPHANIE est de proposer une méthodologie structurée et la plus systématique possible, les outils et processus d’évaluation sécuritaires permettant de pouvoir donner à priori aux utilisateurs concernés (opérateurs mobiles, développeurs d’applications, laboratoires de la police,..) une évaluation rapide de la sécurité des « composants clefs » des téléphones mobiles, PDA, terminaux PMR, etc.., utilisés pour des applications critiques.
- SAPHIR2, projet ANR VERSO [2008-2012] Labellisé par le pôle de compétitivité System@tic
Partenaires : Orange (France Télécom), Gemalto, Cryptolog International, EADS Security Networks, Sagem Sécurité, LIENS, INRIA, UVSQ, DCSSI
Responsables du projet pour l’UVSQ : Louis GOUBIN & Antoine JOUX
Description : Le projet SAPHIR2 est un projet de recherche appliquée, dont les objectifs sont les suivants :
– suivre et participer à la compétition SHA-3 du NIST (cryptanalyse, implémentations, optimisations, etc) ;
– soutenir les candidats proposés par le projet RNRT SAPHIR (France Télécom, Gemalto, LIENS, Cryptolog, DCSSI) et par les nouveaux partenaires de SAPHIR2 (EADS, Sagem, INRIA, UVSQ) ;
– continuer la recherche sur les fonctions de hachage.
- ECRYPT II, réseau européen d’excellence en cryptologie, projet IST- FP7 [2008-2012]
Partenaires : 11 membres principaux (K.U.Leuven, R.U.Bochum, Univ. Bristol, ENS, EPFL, France Telecom, IBM Research Zurich, Royal Holloway Univ of London, T.U.Eindhoven, T.U.Graz and Univ. of Salerno) + 26 membres associés (dont UVSQ)
Responsables du projet pour l’UVSQ : Louis GOUBIN, Antoine JOUX & Jacques PATARIN
Description : L’objectif du réseau d’excellence ECRYPT II est de renforcer et intégrer la recherche en cryptologie en Europe, et ainsi lutter contre la dispersion des efforts. Il s’agit d’améliorer l’état de l’art de la cryptologie, de développer une infrastructure commune pour l’évaluation des schémas cryptographiques, et de favoriser la dissémination, notamment par l’organisation d’écoles d’été, de colloques, et la participation aux organismes internationaux de normalisation.
- SECURE ALGORITHM, projet FUI (Fonds Unique Interministériel) [2008-2010] Labellisé par le pôle de compétitivité System@tic
Partenaires : Oberthur Card Systems, Thales, Nagra, ENST, Paris VIII, UVSQ
Responsable scientifique pour l’UVSQ : Michaël QUISQUATER
Description : L’objectif principal de ce projet est de concevoir des primitives et des algorithmes cryptographiques débouchant sur des implémentations sécurisées efficaces pour les systèmes embarqués.
- COPRIM, projet ANR Télécommunications [2008-2010] Labellisé par le pôle de compétitivité Minalogic
Partenaires : CEA-LETI, Inside Contactless, UVSQ, UPMF (Grenoble)
Responsable scientifique du projet pour l’UVSQ : Louis GOUBIN
Description : Le but du projet est de proposer des solutions pertinentes et viables sur le plan économique, garantissant à la fois la sécurité des cartes sans contact, et la protection de la vie privée, afin de redonner le plein contrôle à l’utilisateur et par cela de maintenir la confiance qu’il porte à ces objets électroniques.
- ODYSSEE, projet ANR Télécommunications [2007-2009] Labellisé par le pôle de compétitivité System@tic
Partenaires : Gemalto, UVSQ, CEA-LETI
Responsable scientifique du projet pour l’UVSQ : Louis GOUBIN
Description : Le principal but du projet est de sélectionner, analyser et sécuriser l’implémentation des algorithmes de chiffrement par flots contre les attaques physiques.
- CrySCoE, projet ANR SSIA (Sécurité, Systèmes embarqués & Intelligence Ambiante) [2006-2009]
Partenaires : UVSQ , ENS, Université Bordeaux I (LaBRI)
Coordinateur de l’ensemble du projet : Louis GOUBIN (UVSQ)
Description : Ce projet a comme ambition d’étendre les notions de sécurité et d’attaques au cas de programmes informatiques exécutés sur des systèmes embarqués (obfuscation de code, authenticité du code, …). On s’intéresse notamment aux architectures visant à externaliser le code exécutable, i.e., telles que le code exécuté est téléchargé au fur et mesure de l’éxécution, blocs par blocs, auprès d’un serveur distant.
- « Cryptographie et calcul intensif », Projet DGA / REI 05C0016 (Recherche exploratoire innovante) [2006-2008]
Partenaires : Laboratoire PRiSM / Laboratoire LRC ITACA (UVSQ)
Responsable du projet pour l’UVSQ : Louis GOUBIN
- X-CRYPT, projet RNRT [2004-2006]
Partenaires : France Télécom, Axalto, ENS, Inria, Cryptolog, UVSQ
Coordonnateur de l’ensemble du projet : Louis GOUBIN (UVSQ)
Responsable du projet pour l’UVSQ : Jacques PATARIN
Description : Le but de ce projet était de construire un ensemble d’outils cryptographiques adaptés aux réseaux de télécommunications haut débit. En particulier, les réseaux sans-fil provoquent des problématiques nouvelles en termes de sécurité, doivent faire face à de nouveaux types d’attaques et nécessitent la mise en place de mécanismes de sécurité adaptés.
- « Pôle de technologie à l’Université de Versailles Saint-Quentin-en-Yvelines », projet ACI Cryptologie [2001-2005]
Responsable du projet pour l’UVSQ : Jacques PATARIN