L'Analyse en Composantes Morphologiques est une nouvelle méthode pour la séparation des composantes sémantiques dans les signaux et les images. Typiquement, on peut chercher à décomposer une image en deux composantes : texturée et régulière (voir figure ci-dessous). La composante texturée a été obtenue en mettant une transformée en cosinus locaux (LDCT) et la composante régulière em mettant une transformée de Curvelets. De nombreuses applications peuvent tirer profit d'une telle approche notamment en astronomie, en milieu médical ou encore en post-édition.

La MCA requiert cependant une certaine invariance par rapport à des groupes de transformation notamment affine. Pour ce faire, les transformées utilisées doivent au moins être invariantes par translation.

Le présent sujet se propose d'étendre une toolbox existante en assurant que la DCT locale puisse jouir d'une telle propriété (invariance par translation). De nombreuses applications pour valider les résultats seront testées.

IPV6 est une nouvelle version du protocole IP disponible depuis quelques années. De nombreuses fonctionnalités ont été intégrées au protocole pour faciliter la gestion d'un réseau. Si certainesde ces fonctionnalités ne sont qu'une intégration au sein du protocole IPV6 de celles disponibles pour IPV4, il en est une qui est réellement novatrice : la mobilité. Le but de se stage sera d'installer la mobilité au sein l'Université de Caen en prenant deux sites pilotes, le GREYC et le CIT, la solution pouvant être étendue à d'autres sites dont notamment le campus III d'Ifs.

1. Comprendre l'architecture IPV6 existante à l'Université.
2. Etudier les mécanismes de mobilité IPV6.
3. Mettre en place la mobilité entre le site du CIT et le GREYC.
4. Sélectionner certains applicatifs et identifer les changements apportées sur ces applicatifs par la mobilité.

IPV6 est une nouvelle version du protocole IP disponible depuis quelques années. L'une de ces particularités est de fournir un nombre d'adresses conséquent. L'augmentation croissante de l'informatique embarquée tant à multiplier les périphériques directement accessibles par le réseau et par la même occasion les adresses IP. De fait, pour un industriel voulant effectuer des opérations de maintenance à distance sur les matériels qu'il vend, le nombres d'adresses IP privées fourni par IPV4 peut vite être insuffisant. Le Projet Paudac avec lequel le CERTIC est en collaboration a cette problématique. Le but du stage sera de :

1. Mettre en place la plateforme de validation définie avec l'entreprise basée sur IPV6.
2. Simuler un certain nombre de clients connecté à Internet via IPV4 ou IPV6.
3. Mettre en place les mécanismes de configuration des réseaux pour que l'administration des postes distants puisse être effectuée à partir d'un poste central.
4. Valider ou invalider le choix de zabbix comme outil d'e-maintenance pour des actifs utilisant IPV6.

Dans le cadre d'un partenariat avec la Société ProxyConcept qui propose des solutions intégrées de filtrage de flux de messagerie, le CERTIC réfléchit au problème majeur qui touche la messagerie à savoir le Spam. Spammassasin est l'outil utilisé principalement pour des raisons d'extensions de fonctionnalités aisées. Actuellement dans sa version 2.64, il est testé avec un corpus d'apprentissage important de 50 000 mails. La version 3.0 venant de sortir, il est nécessaire de tester l'outil pour évaluer son efficacité tant d'un point de vue qualitatif (détecte-t-il toujours les spams ?) que d'un point de vue efficacité (quelles sont les ressources utilisées ?). Le but du stage sera de :

1. Valider la plateforme de test en cours d'élaboration.
2. Vérifier que la nouvelle version reste efficace sur un corpus déjà identifié et classé (50 000 spams).
3. Tester les nouveaux types de spam pour voir comme réagit Spamassassin.
4. Intégrer les nouveaux développements dans la nouvelle architecture proposée par Spamassasin 3.0

Dans le cadre d'un partenariat avec la Société ProxyConcept qui propose des solutions intégrées de filtrage de flux de messagerie, le CERTIC réfléchit au problème majeur qui touche la messagerie à savoir le Spam. Spammassasin est l'outil utilisé pour traiter le Spam dans la plateforme développée par la société. Il est validé par un important corpus de spam de plus de 50 000 spams. La principale difficulté à laquelle se confronte actuellement la société est de quantifier les besoins matériels nécessaires pour valider sa plateforme de traitement de flux. Le but du stage sera de :

1. Mettre en place la plateforme de test déjà validée conjointement avec l'entreprise.
2. Effectuer les tests de mise en charge pour identifier précisémment le temps nécessaire pour traiter un message.
3. Déterminer une fonction de montée en charge permettant de calculer avec précision la puissance de traitement nécessaire pour traiter un flux de messagerie.

Une image numérique est un document difficile à controller. En effet on peut facilement copier une image, ce qui pose des problèmes de droit d'auteur. De plus, une image peut subir des opérations de filtrage, de compression ou elle peut être aisément retouchée sans que cela ne se voit. Le watermarking, (domaine trés récent --milieu des années 90-- ) tatouage en Français, a pour objectif d'insérer une information invisible dans une image.

Pour ce faire la signature doit être indélébile, de plus elle ne doit pas surcharger l'image, donc elle doit être invisible. Le tatouage doit être robuste à la compression, ainsi qu'à toutes les transformations géométriques d'une image digitale. L'objectif de ce projet sera de :

1. Faire une synthèse des différentes techniques existantes en insistant sur le tatouage des graphes.
2. Un ou plusieurs algorithmes de watermarking devront être implémentés.

Il s'agit d'un travail fort numérique dont le but est de simuler un amas de points qui subissent l'attraction gravitationnelle, et qui effectuent une rotation autour du centre (ce qui doit aplatir la configuration, créer un disque). On ne va pas résoudre des millions d'équations de Newton, mais appliquer plusieurs simplifications (champ moyen, fluctuations statistiques imposées par un "bruit" artificiel, etc.), donc rien à craindre, les calculs ne seront pas très difficiles. Les points : "étoiles" seront ensuite visualisées en OpenGL. On essaira de créer des galaxies de plusieurs types, et - si le temps le permet - essayer de simuler la collision entre galaxies.

Des travaux de ce genre existent, on peut les trouver sur l'Internet. Le projet reste néanmoins exploratoire, et la création de galaxies vraiment jolies et réalistes n'est pas assurée, vu les limites matérielles et temporelles du projet. Ce n'est pas grave, les galaxies réelles ne sont toujours pas très jolies non plus...

L'étudiant doit connaître/apprendre l'essentiel de l'OpenGL. Langage du calcul - à préciser. Ce qui compte ce n'est pas la vitesse, mais facilité de programmation et de bons moyens d'interfaçage. Pour l'instant je propose Python, mais on peut envisager Java ou C++ si l'étudiant les maîtrise bien.

Une des techniques de synthèse sonore, qui évolue rapidement, est basée sur les modèles "physiques", où l'on implémente des "guides-onde" - buffers (linéaires, circu- laires, etc.) pilotés par des algorithmes itératifs/récursifs, qui modélisent la propaga- tion des sons dans les cordes vibrantes, ou dans les colonnes d'air dans les instru- ments à vent.

La théorie (simplifiée) est très simple et lisible, et un programme de quelques lignes peut simuler le son d'une (mauvaise...) guitare (par exemple). On représente souvent ces algorithmes sous forme de "circuits" graphiques, avec des lignes de retardement et des nombreux filtres digitaux, qui "nettoient" les sons, qui ajoutent des effets spéciaux (echo, reverbération, etc.)

Le projet consistera à modéliser un petit nombre d'instruments en Matlab, en exploitant le sous-système graphique Simulink pour faire ces circuits. On construira également une interface permettant de jouer interactivement quelques notes musicales par l'utilisateur.

La carte est une composante essentielle d'un atlas géographique. Dans le cadre de travaux portant sur l'analyse sémantique des documents géographiques, on souhaite pouvoir exploiter les informations exprimées dans les cartes. À cette fin, un modèle de contenu pour la carte a été développé. Ce modèle décrit la carte selon différents aspects qui rende compte de sa forme physique, de son aspect graphique et de son contenu sémiologique.

Les cartes sont disponibles sous différents formats selon deux catégories: vectorielles et rasters (image bitmap). On s'intéresse ici aux images bitmap. L'objectif de ce projet est de mettre en place un outil permettant d'exprimer des cartes données sous forme raster dans le formalisme XML découlant du modèle de contenu développé.

L'outil demandé est un ensemble d'opérateurs et de chaînes de traitement s'appliquant sur un certains nombre de cartes dont la forme est homogène. Cet outil devra être bien documenté, facilement configurable et extensible afin de pouvoir prendre en compte d'autres types de carte. Il doit aussi pouvoir s'intégrer à une plate-forme d'analyse de document géographique en développement. Les modalités d'interfaçage seront à définir.

L'apprentissage consiste à estimer (apprendre) une fonction f(x) à partir d'exemples (expérience). Une des méthodes d'apprentissage connues utilise les réseaux neuronaux artificiels (RN). Un neurone est un automate à seuil avec des entrées, une fonction de sommation, une fonction de transfert (ou activation) et une sortie. Les connexions entre les neurones sont représentées par des poids.L'algorithme d'apprentissage le plus efficace est la méthode de rétropropagation du gradient. Il s'agit de présenter une vecteur X à l'entrée du réseau, de comparer la sortie calculée avec la sortie désirée et de corriger les poids en fonction de l'erreur. L'opération est répétée pour une ensemble d'apprentissage. Lorsque f est une fonction de décision, on parle de classification ; la couche de sortie du RN est alors composée neurones représentant chacun une classe.

Les RN avec la méthode de rétropropagation ne sont pas adaptés pour traiter des données de très haute dimension telles que les textes et les images. De plus, de nombreux paramètres sont à fixer par l'utilisateur.

Pour répondre à ces problèmes, Une nouvelle méthode de classification est apparue en 1995 : les séparateurs à vaste marge (SVM). Pour les problèmes non classifiables, au lieu de chercher un hyperplan dans l'espace des entrées, on passe d'abord dans un espace de représentation intermédiaire de plus grande dimension. De plus, des fonctions à "noyau" (connues) permettent de calculer la similarité des exemples. L'algorithme d'apprentissage à implémenter revient à un problème d'optimisation quadratique.

Les techniques de retouches d'images trouvent des applications dans de nombreux domaines de l'imagerie numérique :

• Restauration d'images ou de videos (anciennes), interpolations ou zooms numériques en image ou video.
• Reconstruction des infomations manquantes dans des images comme c'est le cas après transmissions d'images par certaines techniques.
• Suppression de certaines zones de l'image ou de la vidéo sans changer l'apparence globale de l'image.

Il s'agit d'une application classique de traitement d'image en imagerie microscopique. Le but est d'utiliser ou eventuellement de programmer certains opérateurs de traitement d'images pour extraire, caractériser et puis classer des objets issus d'images microscopiques. Les données images proviennent de l'hôpital Pasteur de Cherbourg. Le choix des bases de données images reste à faire en fonction de l'intérêt de l'étudiant pour une application particulière.

Des présentations des avantages de Mobile IPv6 sous diverses formes (transparents Powerpoint ou autre) existent et sont disponibles sur le Web, mais restent souvent très "grand public", car n'expliquant pas les détails du mécanisme (utilisation des en-têtes suppléméntaires d'ipv6). L'idée est donc de réaliser une présentation très complète avec tous les cas de figure d'utilisation, et la possibilité de détailler plus ou moins le déroulement des scénarios.

La zone 2 est physiquement représentée par un ensemble de trois lignes noires sur le sol. La ligne verticale faisant la démarcation entre la zone 1 et la zone 2, les lignes horizontales faisant la démarcation entre la zone de chalandise et les couloirs de retour.

Dans la zone de départ (zone 1), aucun marquage au sol n'est présents, les robots n'ont pas de zone de départ fixe.

Dans la zone de chalandise (zone 2a), il n'existe, là encore, aucun marquage au sol. Les cubes sont placés à différents endroits au bon vouloir d'expérimentateur.

Dans la zone de dépôt (zone 2b), la position finale des cubes est physiquement marquées sur le sol. Ce marquage est formé par une tâche de la couleur du cube entourée par un marquage noir.

Ce type de marquage permet de faire rapidement la discrimination entre un marquage au sol (2D) et un objet physique (3D) (ce problème est important car il ne faut pas oublier que lors du traitement de l'image en provenance de la caméra, il est très difficile de faire la différence entre un marquage et un objet. Cela permet ainsi de simplifier le problème).

Situation initiale

Situation finale

Le déroulement du scénario est le suivant :

• La situation initiale S_i est définie par :
  • Les robots sont alignés dans la zone de départ (zone 1).
  • Les cubes sont placés dans la zone de chalandise (zone 2a).
  • les zones 2b (dépôt), 4a et 4b sont dégagées.
• La situation finale S_f est définie par :
  • Les robots sont dans la zone de départ (zone 1).
  • Les cubes sont placés dans la zone de dépôt (zone 2b), chaque cube à sa place.
  • les zones 2a (chalandise), 4a et 4b sont dégagées.

Les seules connaissances des robots au départ sont :

• la reconnaissance des objets ;
• la reconnaissance des marquages au sol ;
• qu'il faut placer les cubes sur les zones marquées.

Les Processus Décisionnels de Markov (PDM) [ Puterman1994 ] sont depuis quelques années communément utilisés dans la communauté de l'Intelligence Artificielle pour modéliser et résoudre des problèmes de décision séquentielle dans l'incertain. Leur capacité à prendre en compte à la fois l'aspect dynamique et incertain des processus modélisés les placent comme bon candidats pour modéliser et résoudre des problèmes complexes (gestion de risques industriels et environnementaux, robotiques, applications aérospatiales, ...). Cette technique, très efficace pour modéliser les environnements dynamiques et incertains, est largement utilisée pour une variété de problèmes de décision stochastique et séquentielle. Des algorithmes permettant de résoudre ces processus sont mis en oeuvre et ils permettent de déterminer un comportement optimal. Mais, ces processus sont aussi connus par leurs limites dont la plus importante est la grande taille de l'espace d'états issue d'une description fine de l'environnement. Cette limite réduit le champ d'application réelles de cette technique.

Ce projet est destiné surtout à un étudiant qui a suivi - en Maîtrise - mon cours de compilation et mon cours d'imagerie, car il s'agit d'assembler un paquetage _fonctionnel_ de création des objets 3D paramétriques, donc on aura besoin de techniques de programmation fonctionnelle et des éléments un peu avancés de syntèse d'images.

L'étudiant construira une interface à plusiers fenêtres où on pourra visualiser les objets créés. Il ne s'agit pas d'un modeleur "professionnel" , (pas encore), mais d'une exploration des techniques de programmation génériques, avec des compositions des fonctions d'ordre supérieur, etc. Une partie du projet sera consacrée à l'analyse de la possibilité d'intégrer OpenGL avec Clean. On travaillera sous Windows, car l'interfaçage graphique du Clean sous Linux n'est pas encore complet. Clean ressemble beaucoup à Haskell.

La plupart des moteurs de recherche donnent leur réponse sous la forme de fichiers html présentant une liste de liens sur des documents.

Le grain est le document (1 URL); la liste est ordonnée (c'est un de leurs secrets de fabrication), fractionnée par paquets de quelques liens, et peut contenir des milliers de liens. Chaque lien est accompagné de quelques informations sur le document. Pour accéder aux réponses, l'utilisateur va voir des documents 1 par 1, en commençant par le début de la liste. Il n'a aucune vue globale sur ces réponses. En particulier les documents classés après les premières pages ne seront pratiquement jamais atteints.

Dans la recherche d'information classique, on s'intéresse particulièrement à la détection des thèmes et des mots-clés dans des documents, le plus souvent par des méthodes statistiques. Ces méthodes donnent des résultats acceptables dans des corpus hétérogènes et très étendus, mais elles ne sont pas du tout adaptées à la recherche ciblée sur des documents peu nombreux.

La plupart des analyseurs ont pour éléments atomiques de l'analyse des mots qui sont vus uniquement dans la phrase, ce qui rend difficile l'affectation de valeurs sémantiques fiables. Par exemple, on ne peut pas savoir si le mot "intégration" concerne les mathématiques ou la cuisine ou la politique, d'où le bruit imputé à la polysémie des mots. On constate par ailleurs que les techniques actuelles ne permettent pas de répondre de manière satisfaisante à des demandes du type : "rechercher la définition du concept intégration" ou "une explication sur l'ESB" ou "une synthèse sur la loi de Nash".

On cherche à combler le vide entre la méthode courante d'indexation des documents et l'analyse syntaxique à grain très fin. Pour apporter une valeur ajoutée à la recherche d'information, on propose de caractériser des segments de texte et des textes.

Le travail demandé consiste à faire le point sur les recherches actuelles à l'interface de la recherche documentaire et de l'analyse syntaxique (Voir par exemple Hirst, Karlgren). Dans la partie exploratoire on propose d'implémenter des modèles d'analyse textuelle. Le travail s'organise sur plusieurs plans. D'une part, il faut établir une typologie des textes : exposés, narrations, explications, modes d'emploi etc. Il importe pour cela de tenir compte de la mise en forme, de la longueur et de la complexité des documents. D'autre part, dans l'analyse interne au document, il s'agit d'annoter les passages pouvant correspondre à une requête sur le type d'information recherchée (explication, définition, synthèse etc.) Enfin, il faut pouvoir pondérer ces parties de discours entre elles, pour donner une description plus fine du document.

Cette recherche s'inscrit dans la lignée des traitements robustes du GREYC. L'accent est mis sur l'interprétation explicite des règles macro-syntaxiques. Le modèle proposé est basé sur une méthode robuste d'analyse de textes et de segments textuels, à différents niveaux de la hiérarchie de mise en forme matérielle (chapitres, parties, paragraphes).

Du point de vue méthodologique, il est demandé de valider des opérations et leur expression informatique. Les opérations utilisées actuellement dans l'équipe sont de même type que celles qui sont implémentées pour l'analyse syntaxique robuste de phrase, plus deux ajouts. On a défini la subordination, la coordination, la complémentation, plus la superordination et la factorisation.

Deux directions sont possibles : d'un point de vue opératoire ces opérations doivent pouvoir s'appliquer à des segments de niveau quelconque de la hiérarchie textuelle, il s'agit donc de consolider et valoriser cette option. D'un point de vue théorique, ces opérations doivent pouvoir être exposées et validées du point de vue algorithmique.

Les outils d'aide à la décision sont de plus en plus utilisés dans les entreprises, principalement pour réduire les risques inhérents aux tâches réalisées. Ces outils se retrouvent dans les domaines de la bourse, la gestion de stock, la gestion du risque, etc ... Ces outils prennent des formes diversent tant au niveau des modèles utilisés pour réaliser l'aide à la décision qu'au niveau des interfaces de présentation des résultats.

Les processus décisionnels de Markhov sont l'un des modèles utilisé dans ces outils. Le projet Paudac, entreprise en création au sein de Normandie Inbubation, dispose d'un outil d'aide à la décision d'achats de DVD.

Écrit en C++, la première version de cet outil répond a la problématique et calcule l'optimum d'achats en fonction du budget et d'autres contraintes liées au système telles que le nombre de nouveaux films disponibles ou bien le nombre de machines de locations disponibles, toutefois certaines fonctionnalités nécessitent d'être modifiée.

• Houmard, Gildas. Analyse de texte paramétrable. Rapport de projet DESS RADI 2001-2002.
• Pinatel, Pascalie. Coloriage thématique à l'intérieur d'un document: approche contextuelle Rapport DESS RADI 2002-2003.
• Lucas, Nadine. Etude et modélisation de l'explication dans les textes. Colloque "L'explication: enjeux cognitifs et communicationnels", Paris, 30 novembre-1er décembre 2001.

VoiceXML est un langage de description de services vocaux. C'est un langage de la famille XML défini par le W3C (http://www.w3.org/TR/voicexml20/).

Le but du projet est de construire un éditeur graphique permettant à des non informaticiens de définir un service vocal. La spécification se fera à l'aide de diagrammes état/transition particuliers : une liste fermée de type d'états et de types d'évènements de déclenchement de transitions sera seulement disponible.

L'avantage de l'utilisation des diagrammes état/transition est que certaines propriétés de l'automate pourront être vérifiées : boucles infinies, validation d'entrées, ...

Une fois un automate spécifié, on pourra générer l'application en VoiceXML.

Le groupe Infodoc travaille depuis de nombreuses années sur la modélisation et l'accès à l'information géographique. De nombreux travaux ont été réalisés pour permettre d'accéder à différentes formes de l'information. Certains des travaux visent à structurer l'information a priori [TURBOUT02, CHUFFARD04], d'autres a posteriori [MALANDAIN00, FAUROT04, GEOSEM]. D'autres travaux visent à faciliter l'accès à l'information grâce à différentes interfaces :

• OhRAGE : permet d'accéder à l'information sous forme d'hypertexte dynamique [TURBOUT02].
• L'Anté-Serveur Géographique grâce à une interface bimodale texte-graphique [LIMAM03, DUMONCEL03].
• PLACIDES, une interface java utilisant Openmap pour accéder à l'information grâce à une représentation spatiale de l'information sur un espace géographique sélectionné[TURBOUT02].

L'idée de base est de modéliser un document vidéo par un graphe complet dont les plans de montage sont les noeuds. Plutôt que de se baser sur des critères de similarité basés sur les descripteurs globaux couleur (perceptuels), on va s'intéresser à une similarité de niveau sémantique basée sur les objets similaires que contiennent les plans vidéo. Un tel objet visuel est un ensemble de régions connexes qui peuvent être modélisées par une carte combinatoire.

L'objectif du projet, dans un premier temps est de modéliser la vidéo sous forme de carte combinatoire (algorithme fourni), et d'étudier les méthodes d'appariement existantes ainsi que la similarité entre les noeuds pour l'indexation par le contenu.

Dans le domaine de la compression d'images animées, les méthodes utilisées sont principalement celles qui utilisent des appariements de blocs carrés qui imposent des limites en termes de qualité et de taux de compression. On s'interesse aujourd'hui à des approches orientées objets de manière à pouvoir compresser, modifier et utiliser indifféremment les nombreux objets composant une scène (MPEG4).

Le but de ce projet est tout d'abord de se familiariser avec la norme Mpeg4, futur standard de compression vidéo, et par la suite d'étudier des algorithmes d'estimation de mouvement et de segmentation vidéo, destinés à "extraire" les objets en mouvement dans la scène pour une séparation du décor (background) et des objets en mouvement sur ce décor. Le but de ce projet n'est pas de faire un codeur de la norme !

PostGIS permet le support d'objets géographiques dans la base de données relationnelle PostgreSQL. PostGIS permet d'insérer dans la base des objets spatiaux de types polygones, lignes ou points. Ces objets sont tous positionnés dans l'espace par la latitude et la longitude des points les constituant, c'est la « geometry ». À ces objets sont associés des opérateurs spatiaux. Il est par exemple possible de savoir si un point est dans un polygone, si une ligne traverse un polygone, si deux polygones se touchent, si un point est sur une ligne, etc.

Ce projet concerne les relations mettant en jeu une ligne. Prenons par exemple la fonction crosses(geometry A,geometry B) qui retourne un booléen indiquant si A traverse B. Dans les sources de données spatiales, certains objets linéaires, comme par exemple les routes, sont donnés par tronçons : un tronçon = un objet PostGIS ligne. Si nous cherchons par exemple les routes passant par Caen et par Bayeux à l'aide de la fonction crosses, il se peut qu'il n'y ait pas de tronçons suffisament long, aucune route correspondante ne sera trouvée, pourtant une route existe bien. Pour trouver cette route, il n'est pas suffisant d'appliquer la fonction crosses sur un tronçon. Il faut disposer d'une fonction capable de trouver plusieurs tronçons les uns à la suite des autres et de savoir si un de ces tronçons traverse les villes citées.

Ce projet concerne la création de nouvelles fonctions pour répondre à ce problème. Ces nouvelles fonctions prendront la forme d'une bibliothèque compilée à laquelle fera appel PostGIS. Pour effectuer des tests nous disposons d'une base de données sur les routes de Basse-Mormandie. Les résultats seront visualisés sous forme de cartes avec OpenMap ou MapServer.

• PostGIS : http://www.postgis.org
• PostgreSQL : http://www.postgresql.org/
• GEOS : http://geos.refractions.net/
• OpenMap : http://www.openmap.org/
• MapServer : http://mapserver.gis.umn.edu/

Cette proposition s'inscrit dans le cadre du projet SqueakBot [1]. SqueakBot est un projet développé depuis 2002 consistant à développer une plateforme robotique éducative (pour des enfants) en Squeak/Smalltalk [2].

Nous proposons de développer une application distribuée de type Logo en 3D. Il s'agit de permettre à des enfants de piloter des robots simulés en collaboration sur le réseau. On pourra s'inspirer pour cela d'une application similaire déjà développé en 2D, appellé BotsInc [3].

On utilisera pour réaliser le projet, une plateforme immersive 3D P2P appellée OpenCroquet [4] et développée en Squeak. OpenCroquet offre des briques logicielles (TeaTime) permettant de distribuer des applications sur un réseau et de réaliser facilement des applications collaboratives.

Il s'agira pour l'étudiant d'une part de se familiariser avec les protocoles réseaux utilisés par OpenCroquet pour réaliser la distribution d'applications et de réaliser une première maquette de l'application avec des tests réels sur le réseau.

• [1] http://www.iutc3.unicaen.fr/serge/SqueakBot
• [2] http://www.squeak.org/
• [3] http://kilana.unibe.ch:9090/botinc/
• [4] http://www.opencroquet.org/

Les générateurs pseudo-aléatoires sont une composante essentielle d'un certain nombre de primitives cryptographiques, en particulier des systèmes de chiffrement à flot. Le "Bit-Search Generator" (BSG) est un élégant générateur pseudo-aléatoire proposé par Aline Gouget et Hervé Sibert (France Telecom R&D) au récent workshop ECRYPT sur les stream ciphers.

Ce générateur est basé sur la recherche de motifs dans une suite binaire. Une façon naturelle de l'aborder est d'étudier son comportement de décimation sur une suite issue d'un registre à décalage à rétroaction linéaire (on peut imaginer l'appliquer à d'autres genres de suites). Sa conception, très simple, dans l'esprit du Self-Shrinking Generator, fait de lui un générateur performant et léger. Il a de bonnes propriétés théoriques, et les premiers résultats statistiques sont tout à fait encourageants.

L'objectif de ce projet est d'étudier ce nouveau-né dans le milieu des générateurs pseudo-aléatoires, de l'implémenter de façon la plus efficace possible, et de lui faire passer des tests statistiques pour s'assurer de ses performances. Il va s'agir de prendre en main ces outils de tests, et d'interpréter les résultats, en prenant pour référenciel le Self-Shrinking Generator. Il peut être aussi envisagé d'étudier des variantes du BSG, ainsi que l'impact des attaques existantes sur ce genre d'objet.

Le but du projet est dans une première étape de faire le point sur la compatibilité de grands IDS avec IPv6, puis dans une seconde étape, de se servir de ces connaissances pour écrire de nouvelles règles afin d'étendre snort ou tout autre IDS pour le rendre totalement compatible IPv6.

Une brique essentielle des algorithmes de chiffremement à flot est le générateur pseudo-aléatoire qui produit la suite chiffrante. La plupart de ces générateurs utilisent des combinaisons de registres à décalage à rétroaction linéaire (LFSR).

Dans un article récent présenté au workshop ECRYPT SASC sur les stream ciphers, F. Arnault et T. Berger (Univ. de Limoges) ont proposé une construction de générateurs pseudo-aleatoires à partir de "Feedback with Carry Shift Register" (FCSR). La différence essentielle avec un LFSR est que l'opération de base n'est pas une addition modulo 2, mais avec propagation de la retenue.

Le but de ce projet est d'étudier la contruction proposée par F. Arnault et T. Berger et ses différentes variantes, et de comparer leurs performances avec d'autres générateurs pseudo-aléatoires.

Cette proposition s'inscrit dans le cadre du projet SqueakBot [1]. SqueakBot est un projet développé depuis 2002 consistant à développer une plateforme robotique éducative (pour des enfants) en Squeak/Smalltalk [2].

Un autre objectif du projet SqueakBot est également de simuler et de contrôler des robots réels. L'équipe de recherche MAD dont nous faisons partie a acheter des robots de type Koala ( http://www.k-team.com/robots/koala/index.html). On se propose de développer une application de contrôle à distance d'un robot Koala depuis Croquet, permettant à des personnes sur le réseau Internet de faire des expériences à distance.

Il s'agira pour l'étudiant de proposer une solution de contrôle permettant d'intégrer le robot avec le framework TeaTime de Croquet permet de réaliser des applications collaboratives à distance sur un réseau. Il devra être possible de représenter le robot physique par un robot simulé dans croquet. Le robot disposant également d'une caméra embarqué, l'étudiant devra également proposé une solution pour diffuser l'image vidéo dans Croquet.

• [1] http://www.iutc3.unicaen.fr/serge/SqueakBot
• [2] http://www.squeak.org/
• [3] http://kilana.unibe.ch:9090/botinc/
• [4] http://www.opencroquet.org/

Le RSA est sans conteste le cryptosystème à clé publique le plus utilisé au monde. Du fait de ses propriétés (en particulier celle de permutation à clé publique), on peut se servir de RSA en tant que schéma de chiffrement ou de signature, ce qui explique sa grande popularité.

Lors de la création de ses clés (clé publique $n$, clé privée $d$), on suppose que l'utilisateur fait appel à un algorithme de génération $G$ qui lui est fourni sous la forme d'un programme exécutable (noté aussi $G$) par son administrateur système. L'algorithme de génération est, bien sûr, fait de telle sorte qu'il soit difficile à quiconque de retrouver la clé privée d'un utilisateur à partir de sa clé publique (problème dit de la factorisation du module).

Le but d'une attaque kleptographique consiste à substituer $G$ par un générateur truqué $G'$ qui va permettre au créateur de $G'$ de retrouver sans effort les clés privées des utilisateurs.

Pour ne pas éveiller les soupçons, $G'$ doit se comporter exactement comme $G$, c'est-à-dire avoir la même interface d'utilisation. Typiquement, $G'$ ne doit pas lors d'une exécution, copier la clé privée dans un fichier secret, l'envoyer par mail, etc. Il faut donc, pour mener l'attaque, générer $n$ de sorte que le créateur de $G'$ (le kleptographe) puisse retrouver facilement $d$ à partir de $n$ seul. Il faut aussi que les modules publiques $n$ générés par $G'$ soient insoupçonnables, c'est-à-dire qu'on ne puisse pas les distinguer des modules générés par $G$. Somme toute, un module $n$ généré par $G'$ doit contenir une information "subliminale" accessible seulement au kleptographe et qui lui permet de factoriser $n$.

Le projet consiste à réaliser un générateur kleptographique $G'$.