Informatique

Mise en oeuvre d'un analyseur de la tolérance aux fautes des circuits numériques

L'évolution technologique (réduction de la taille des transistors) a permis une amélioration des performances des circuits mais a augmenté leur sensibilité vis-à-vis des rayonnements. Les particules présentes dans certains environnements (avionique, satellite, etc) peuvent provoquer des erreurs transitoires à la sortie des portes logiques. Ces erreurs peuvent être masquées ou, au contraire, être propagées vers les sorties du circuit et engendrer une défaillance du système. Plus il y a masquage, plus le circuit sera tolérant aux fautes.

Holographie Numérique à l’aide de matrice à cristaux liquides HD

Le but de ce projet est de synthétiser des hologrammes numériques à l’aide d’une matrice à cristaux liquides HD.

A partir des équations de base de la diffraction, il est possible de générer numériquement des hologrammes. Plusieurs techniques sont possibles afin de réduire le temps de calcul qui peut vite devenir rédhibitoire.

Cette année, suivant la motivation et le gout des étudiants retenu, on pourra s'intéresser à :

Reconnaissance trafic LISP par le sniffer TCPDUMP

Le protocole LISP (Locator/Identifier Separation Protocol) [1,2,3] a été introduit pour séparer les rôles d’identificateur et de localisateur d’une adresse IP. LISP considère deux espaces d’adressage indépendants: le Routing Locator Space (RLOC), qui est globalement routable, et le Endpoint Identifier Space (EID) qui est seulement routable localement. Avec LISP, les routeurs dans le coeur du réseau manipulent des RLOCs et des routes sont maintenues de sorte que les paquets puissent être transférés de routeur en routeur.

- Réseau
- Informatique

Classification Attaques SSH de type “Brute Force”

Secure Shell (SSH) est à la fois un programme informatique et un protocole de communication sécurisé. Le protocole de connexion impose un échange de clés de chiffrement en début de connexion. Par la suite, tous les segments TCP sont authentifiés et chiffrés. Il devient donc impossible d'utiliser un sniffer pour voir ce que fait l'utilisateur.

- Réseau
- Informatique

Génération de QR-codes et gestion des redirections dans le cloud

Un exemple de QR-code Les 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é.

Synchronisation et Visualisation de flux 3D

Pour ce projet, on dispose d'une console Kinect, capable de produire des vidéos et une carte de profondeur correspondant à la vidéo filmée. Par ailleurs, on dispose d'une série d'enregistrements vidéo, audio et carte de profondeur de danseurs filmés de différents points de vue. Pour des raisons techniques, les vidéos et cartes de profondeurs extraites de la Kinect ne sont pas par défaut correctement calibrées.

Protection de processeurs cryptographique contre les attaques par canaux cachés

L’objectif de ce projet est le codage SystemVerilog d’une architecture de cryptoprocesseur AES protégée contre les attaques par canaux cachés.

Marche aléatoire dans une ville aléatoire

L'objectif de ce projet est d'étudier des marches aléatoire dans un environnement aléatoire. En pratique l'environnement correspond à une carte de ville en 2D avec des bâtiments disposés aléatoirement (tout en respectant des aspects caractéristiques des plans de villes: les bâtiments sont polygonaux, plus ou moins alignés, ne se superposent pas, ont une face tournée vers l'extérieur...) et le marcheur correspond à un rayon émis par une source isotrope qui se réfléchit sur les bâtiments.

Intelligence artificielle et jeux de stratégie

Principe du jeu

Deux personnages sont sur une grille de taille n x m. À tour de rôle, ils peuvent avancer d'une case dans une direction quelconque. Ils peuvent décider de creuser un trou ou non dans la case qu'il viennent de quitter. Le but du jeu est d'enfermer l'autre joueur dans une partie du terrain plus petite que celle dans laquelle on se trouve.

Application Android de calcul de prix d'options et de leurs dérivées

L'objectif est de réaliser une application mobile sur Android permettant de calculer des prix d'options et les dérivées de ces produits par rapport à différents paramètres dans le modèle le plus classique de Black & Scholes.

Les prix des produits financiers considérés seront calculés par des formules fermées et/ou des simulations de Monte Carlo. Pour ce deuxième cas il y aura des problématiques de performance à considérer lors du passage sur mobile.

PAF 2020 - PROJ102

Main menu

Qu'est-ce que PAF ?

Les projets PAF

Les inscriptions