| | 44 | |
| | 45 | ==== Encadrement ==== |
| | 46 | |
| | 47 | L'encadrement de ce stage sera effectué par Joël Porquet. |
| | 48 | |
| | 49 | |
| | 50 | === Ajout du support pour le système de fichiers Ext2 dans MutekH === |
| | 51 | |
| | 52 | [[Include(StageContexte/MutekH)]] |
| | 53 | |
| | 54 | ==== Objectif ==== |
| | 55 | |
| | 56 | L'objectif de ce stage est le développement d'un driver pour la famille |
| | 57 | des systèmes de fichiers Ext2, Ext3 et Ext4. Ces systèmes de fichiers sont |
| | 58 | ceux de base généralement employés par les systèmes d'exploitation GNU/linux. |
| | 59 | |
| | 60 | Le support de ces systèmes s'appuiera sur la bibliothèque existante |
| | 61 | ''Ext2fs'' qui contient l'algorithmique complexe nécessaire. Ce driver permettra |
| | 62 | à MutekH d'accéder, par exemple, aux fichiers d'une partition GNU/Linux et viendra |
| | 63 | compléter la collection de systèmes de fichiers déjà supportés : Fat, Iso9660, RamFS... |
| | 64 | |
| | 65 | Le stagiaire devra prendre en main le projet MutekH et notamment la gestion |
| | 66 | du système de fichiers (libvfs) ainsi que la couche d'accès aux périphériques de |
| | 67 | blocs pour développer le driver. Il devra également prendre en main et adapter la |
| | 68 | bibliothèque Ext2fs qui est utilisée pour l'accès aux systèmes de fichiers de |
| | 69 | cette famille sous GNU/Linux. |
| | 70 | |
| | 71 | ==== Encadrement ==== |
| | 72 | |
| | 73 | L'encadrement de ce stage sera effectué par Joël Porquet. |
| | 74 | |
| | 75 | === Elaboration d'un modèle de crypto-processeur pour SoCLib (et ajout du support dans MutekH) === |
| | 76 | |
| | 77 | [[Include(StageContexte/SoclibMutekH)]] |
| | 78 | |
| | 79 | ==== Objectif ==== |
| | 80 | |
| | 81 | L'objectif de ce stage est le développement d'un modèle de composant SoCLib de |
| | 82 | type crypto-processeur et éventuellement de son driver de périphérique pour MutekH. |
| | 83 | |
| | 84 | Les crypto-processeurs sont des périphériques capables de chiffrer et de |
| | 85 | déchiffrer des données en mémoire par des opérations DMA. Les algorithmes de |
| | 86 | chiffrement sont un élément clef de la sécurité et s'implémentent particulièrement |
| | 87 | bien en matériel. Ces crypto-processeurs permettent de soulager les processeurs |
| | 88 | généralistes pour les opérations cryptographiques et sont de ce fait |
| | 89 | très employés dans les SoC. |
| | 90 | |
| | 91 | Le stagiaire devra définir le jeu de registre et les automates du nouveau |
| | 92 | périphérique avant de réaliser son implémentation. Il s'agit d'étudier les |
| | 93 | mécanismes (DMA, IRQ, ...) à implémenter pour permettre la collaboration entre le logiciel |
| | 94 | et le matériel qui s'échangeront les données à traiter. Si le temps le permet, le |
| | 95 | développement du driver de périphérique pour MutekH et son intégration à la libcrypto |
| | 96 | qui gère déjà des algorithmes logiciels permettra de tester le modèle de composant. |
| | 97 | |
| | 98 | Le stage sera validé en appliquant une série d'opérations cryptographiques à un jeu |
| | 99 | de données et en comparant les résultats obtenus entre les implémentations matérielles et |
| | 100 | logicielles d'un même algorithme. Ce stage n'implique pas nécessairement le développement |
| | 101 | ou la compréhension profonde des différents algorithmes cryptographiques, dont |
| | 102 | les implémentations existent déjà sous forme de code libre. |