post-docs
Toutes nos offres
-
Cybersécurité : hardware et software
Exploitation des méthodes formelles pour la gestion des interférences au sein des systèmes embarqués H/F
Au sein d’une équipe de recherche technologique pluridisciplinaire d’experts en outils de co-design SW/HW par application de méthodes formelles, vous intervenez dans un projet national de recherche visant à développer un environnement pour identifier, analyser et réduire les interférences engendrées par l’exécution concurrente d’applicatifs sur une plateforme matérielle multi-coeur hétérogène sur étagère (COTS)
-
Cybersécurité : hardware et software
Implémentations sécurisées de la cryptographie post-quantique basée sur le code : co-conception logiciel-matériel et résistance aux canaux auxiliaires
L’informatique quantique menace les schémas cryptographiques traditionnels tels que RSA et ECC, rendant nécessaire le développement de la cryptographie post-quantique (PQC). Le processus de standardisation du NIST a sélectionné des algorithmes comme HQC, un mécanisme d'encapsulation de clé basé sur les codes. L’implémentation efficace et sécurisée de ces algorithmes, notamment dans des environnements contraints en...
FR 
EN 