Suggestions de projets

PAF et POK !

Le standard ARINC653 définit une méthodologie et une architecture pour construire des systèmes avioniques. En 2010, un étudiant en thèse de Télécom ParisTech a développé POK (pok-kernel.github.io) le premier noyau libre conforme à ARINC653 (sous License BSD). Ce logiciel a continué à évoluer relativement modestement, et Télécom ParisTech a continué à l’utiliser dans le cadre de cas d’études pour des projets industriels. Notamment, il continue à être utilisé dans des travaux pratiques. Par ailleurs, AirBus l’utilise pour expérimentation (pok-kernel.github.io/)

Inpainting d’image

Contexte

Lors de la restauration et de l'édition des images, il est courant de devoir remplir ou réparer une zone dans une image. Par exemple, lors du tournage d'un film, on doit souvent enlever des objets a posteriori en post-production, car cela coûterait trop cher de retourner la séquence. Ainsi, il est intéressant d'effectuer ce remplissage (ou ``inpainting'' en anglais) de manière automatique avec des méthodes du traitement de l'image.

Trouver l’aiguille dans la botte de foin numérique

Les attaques par injection de fautes sont un moyen extrêmement puissant pour extraire des secrets d’un circuit intégré, et contourner des protections comme des identifications par mot de passe. Elles peuvent être réalisées en illuminant d’un faisceau laser les transistors du circuit qui portent des informations sensibles. La première phase de l’attaque consiste donc à identifier ces quelques transistors parmi les milliers ou millions de transistors que contient le circuit. L’objectif de ce projet sera de développer des outils d’imagerie permettant cela.

Génération de QR-codes reconfigurables

Contexte

QR-code pointant sur PAFLes codes barre en deux dimensions, ou QR-code, sont aujourd'hui présents sur tous les supports commerciaux, les affiches, les cartes de visite. La plupart du temps, ces QR-codes contiennent une URL qui pointe sur l'événement ou l'objet référencé.

Pages