Arithmétique appliquée à la cryptographie (P. Veron)

Course categoryM1 Informatique

Ce cours présente les notions essentielles d'arithmétique qui sont utiles à la compréhension des mécanismes cryptographiques modernes

Enseignant: VERON Pascal

I231 - Outils et algorithmes pour la protection de l'information

Course categoryM1 Informatique

Ce cours de première année de master a pour objectif de familiariser les étudiants d'informatique avec trois théories extrêmement riches et dont les développements récents ont été spectaculaires : la théorie de la calculabilité et de la décidabilité, la théorie de la complexité et la théorie de l'ap­pro­xi­ma­tion. La théorie de la programmation, qui englobe ces trois théories, cherche à répondre formellement à trois questions fondamentales posées de manière in­for­mel­le : 

  • Que peut-on calculer ? 
  • Que peut-on calculer efficacement ?
  • Que peut-on approximer efficacement ?

La première question est la question clef de la théorie de la calculabilité et la décidabilité (un problème est décidable si on peut répondre par oui ou non à la question formulée), la deuxième est celle de la théorie de la complexité et la dernière celle de la théorie de l'approximation.

ECUE I221 Bases de données avancés et XML (I. Murisasco )

Course categoryM1 Informatique

 L'objectif de ce cours est l'étude des principaux langages de description et de manipulation de documents XML (XML, XML Schema, XPath, XQuery, XSLT).

I311 - Développement sur Internet (E. Bruno)

Course categoryM1 Informatique

Développement de composants serveur Java avec JavaEEUtilisation avancée des annotations Java, application avec BeanValidationL’inversion de contrôle et l’injection de dépendances avec CDIREST et JPA dans le contexte de JavaEELes enterprise JavaBeansLes transactions avec JTAMise en place d’IHM Web avec JSF

Enseignant: BRUNO Emmanuel

I131-I231 M1-DID Protection des données - protection de l'information (JM Robert)

Course categoryM1 Informatique

Il s'agit des ressources, TD et TP correspondant aux modules de master 1 DID I131 et I231, pour la partie cryptographie : I131 : cryptographie symétrique, DES, AES, cryptanalyse partielle, découverte OpenSSL ;I231 : cryptographie asymétrique, arithmétique des corps finis, algorithme des grands entiers (NIST, réduction modulaire, bibliothèque GMP) et implantation efficace.

Enseignant: ROBERT Jean-marc

Traitement du signal, son et image (J. Razik)

Course categoryM1 Informatique

Cours de traitement du signal avec deux axes principaux: le traitement du son et le traitement de l'image.

Projet (E. Murisasco)

Course categoryM1 Informatique

Les objectifs du projet sont :

  • l'acquisition d’une démarche d’analyse et de conception d'un projet depuis la définition des besoins, leur modélisation jusqu’à l’architecture de la solution informatique, s’appuyant sur la notation unifiée UML et les démarches de développement itératives et agiles, en particulier Scrum;
  • l'apprentissage du langage Java avec un focus particulier sur la maintenabilité et la réutilisation;
  • l'apprentissage de la conduite d'un projet de développement logiciel en utilisant des outils adaptés.

I111 Ingénierie logicielle : conception et programmation orientées objet

Course categoryM1 Informatique

  • Acquisition d’une démarche d’analyse et de conception de systèmes d’information depuis la définition des besoins, leur modélisation jusqu’à l’architecture de la solution informatique, s’appuyant sur la notation unifiée UML et les démarches de développement itératives et agiles, en particulier Scrum;

  • Apprentissage du langage Java avec un focus particulier sur la maintenabilité et la réutilisation;

  • Mener un projet de développement logiciel en utilisant des outils adaptés.

D21- Bases de données avancés et XML (E. Bruno et E. Murisasco)

Course categoryM1 Informatique

Etude des principaux langages de description et de manipulation de documents XML (XML, XML Schema, XPath, XSLT et XQuery) et  mise en œuvre dans des environnements informatiques permettant le déploiement d’applications web.

Utilisation de JPA pour la persistance de données.

Cryptographie Avancé (P. Veron)

Course categoryM2 Informatique parcours Informatique

Ce cours présente les protocoles récents utilisés en cryptographie ainsi que ceux destinés à résister à l'ordinateur quantique

I331 - Cryptographie (N. Meloni)

Course categoryM2 Informatique parcours Informatique

 Introduction à la cryptographie.

Enseignant: MELONI Nicolas

l342 Projet (A. Paiement)

Course categoryM2 Informatique parcours Informatique
Enseignant: PAIEMENT Adeline

Protocoles cryptographiques (P. Véron)

Course categoryM2 Informatique parcours Informatique

Dans ce cours sont abordés les principes de la cryptographie à clé privé et à clé publique. Les travaux pratiques seront l'occasion de découvrir :

  • en Python la programmation du standard AES
  • en C, la librairie GnuMP via la programmtion du système RSA
  • en Java sous Android, les bibliothèques cryptographiques permettant d'implémenter le protocole PBKDF2.

Enseignant: VERON Pascal

M74 Théorie des représentations (J. Asch)

Course categoryM1 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques
Enseignant: ASCH Joachim

ECUE M242 : Projet collaboratif (T. Champion)

Course categoryM1 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques

Le projet collaboratif, réalisé en groupes de 2 à 4 étudiants, porte sur un chapitre non traité dans l’un des cours, ou un petit projet de modélisation qui peut être aussi l’occasion de mettre en oeuvre des méthodes numériques.

UE 12 Analyse fonctionnelle et distributions 1 (M. Rouleux)

Course categoryM1 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques

 Ce Cours est une Introduction aux Espaces Fonctionnels et à la Théorie des Distributions. Espaces de fonctions tests: espaces vectoriels topologiques localement convexes et séparés, convergence et continuité, espaces de fonctions tests les plus importants; distributions: définitions, convergence des suites de distributions; opérations élémentaires sur les distributions: dérivation, multiplication par une fonction, support et support singulier; convolution: convolution des fonctions, régularisation, convolution des distributions; solutions fondamentales: défintion, solutions fondamentales d'opérateurs différentiels importants; distributions tempérées: transformation de Fourier, distributions tempérées, transformations de Fourier pour les distributions tempérées, applications.

Enseignant: ROULEUX Michel

M74--Théorie des Représentations (2ème partie, groupes de Lie) (CA. Pillet)

Course categoryM1 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques

 Introduction aux groupes topologiques, aux groupes de Lie et à leurs représentations

M231 UE23 _ Analyse appliquée (JJ. Alibert)

Course categoryM1 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques

Méthodes variationnelles en optimisation.

M 74 - Théorie des représentations ( W. Aschbacher)

Course categoryM1 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques
Enseignant: ASCHBACHER Walter

M73 Probabilité et applications, Master 1 Math (S. Vaienti)

Course categoryM1 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques

 Probabilité

Enseignant: VAIENTI Sandro

M71-géométrie différentielle (P. Seppecher)

Course categoryM1 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques

Ce cours est une introduction à la notion de sous-variété et de variété différentielle. Après un rappel des outils mathématiques nécessaires, un chapitre consacré aux arcs paramétrés, un chapitre consacré aux surfaces paramétrées, la définition de sous-variété est introduite comme généralisation des arcs et des surfaces. La notion de variété est présentée comme une généralisation supplémentaire.

Enseignant: SEPPECHER Pierre

M241 : TER ou Stage (Initiation à la recherche) (T. Champion)

Course categoryM1 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques

Le TER (Travail Encadré de Recherche) se déroule sur 7 à 8 semaines, et se termine par le rendu d'un mémoire ainsi qu'une soutenance.

TER Master Mathématiques (W. Aschbacher)

Course categoryM1 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques
Enseignant: ASCHBACHER Walter

Analyse fonctionnelle, théorie des distributions (P. Briet)

Course categoryM1 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques

 Espaces de Hilbert, projection orthogonale sur un convexe fermé et conséquences, base hilbertienne, convergence faible dans un espace de Hilbert et propriétés (Bolzano-Weierstrass faible), théorème de représentation de Riesz, opérateurs linéaires continus sur un Hilbert (bornés), lien avec la convergence faible, opérateurs autoadjoints, opérateur compact, limite en norme d'opérateurs de rang fini, éléments d'analyse spectrale, localisation du spectre et théorème de Lax-Milgram, diagonalisation des opérateurs compacts autoadjoints, espace de Banach, théorème de Hahn-Banach, formes linéaires continues dans un Banach, convergence faible, théorème de Banach-Steinhaus et ses conséquences, théorème de l'application ouverte, théorème du graphe fermé.

Enseignant: BRIET Philippe

M84 - Physique mathematique (M. Rouleux)

Course categoryM1 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques

Ce Cours est une introduction à la Mécanique Statistique en Physique du Solide: Fonctions thermodynamiques, Etude élémentaire de quelques modèles, Théorie du Champ Moyen pour le modèle d'Ising, Systèmes de spins à symétrie continue et modèle de Villain.

Enseignant: ROULEUX Michel

M97 Seminaire étudiant (A. Novotny)

Course categoryM2 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques

M2-Recherche-Maths-Algèbre_Appliquée (Y. Aubry)

Course categoryM2 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques

Corps finis et leurs applications

Enseignant: AUBRY Yves

M36 : Analyse Numérique (T. Champion)

Course categoryM2 MA parcours Mathématiques fondamentales de la mécanique et des systèmes quantiques

Cours d'Analyse numérique du Master Mathématiques Appliquées et Applications des Mathématiques, M2

Enseignant: CHAMPION Thierry