Activités de recherche / publications : clicker ici

Master / DEA

• 2022-... Master BigData - Sécurité Informatique et Confidentialité
• Cours 3: FHE et contrats multiparties
• Cours 4: Integrite des protocoles industriels
• 2002-... Master2P SCCI : Security, Cryptology and Coding of Information Systems
• Master 2R Informatique/Mathématique/Mathématiques Appliquées: option Security and Cryptology
• Master 2P SCCI SCCI: Security models: proofs, protocols and politics
• Master 2R Informatique Parallel systems
- Slides: [lecture 1: intro, ws - max - merge exercise / answers ] [lecture 2: adaptive ] [lecture 3: complexity ]
• Master 2R Mathématiques-Informatique / ROCO Algorithmique et complexité probabiliste (Partie du cours Modèles de calcul, Complexité, Approximation et Heuristiques )
• Master SCCI : Intégration du traitement d'erreurs (2014--)

ENSIMAG - 2ème année

• Algorithmique et programmation orientée objet (2009-...)
• Codage Numérique ENSIMAG-PHELMA TELECOMMUNICATIONS (2009-...)
• Algorithmique 4 - Algorithmique avancée. Jeux et problèmes combinatoires; complexité; algorithmes d'approximation, probabilistes et parallèles. (2009-...)
• Codes: cryprographie, compression et correction d'erreurs (2009-...)
• Projet de spécialité Cryptologie et codage

Anciens cours

• 2002-2007 Master CSCI : Cryptologie, Sécurité et Codage de l'Information
• Master CSCI : Intégration du traitement d'erreurs [ local ] (2002--)
• Master CSCI :  Chiffrement: théorie de l'information et applications[ local ] (2004--)
• Master SL Système et Logiciel: Algorithmique et techniques de base du calcul parallele [ local ] (2000--)
• ENSIMAG 3A - ISI Modèles pour la Sécurité 2007 (4 cours)
• ENSIMAG 2A Algorithmique 1 : Structures de données - Parcours de graphe - Programmation récursive [ local ] (1999-2009)
• ENSIMAG 2A Algorithmique 2 : Complexité - Parallélisme - Heuristiques [ local ] (2000-2009)
• ENSIMAG 2A Traitement algébrique de l'information : Cryptographie et codes correcteurs (2000-2009) [ local ] (2000-2009)
• ENSIMAG 2A Calcul formel [1990-2000] : Polycopié (1995) [ps.gz]
• ENSIMAG 2A Parallélisme (1990-2000) : Polycopié Parallélisme (1996) [format: pdf]
  TP Parallélisme 2eme Année: Calcul des décimales de PI (1998) [ps.gz]
• TELECOM 1A Théorie des codes -- [ Polycopié (1999--) ] [local]
  
• ENSIMAG 1A: Algorithmique Numérique I et II
• ENSIMAG 2A: Projet Compilation
• ...

Polycopiés - Archives 

• Théorie des codes, cryptographie, codes correcteurs : voir cours "Théorie des codes" ci-dessus.
• Algorithmique : voir cours "Algorithmique 1" et "Algorithmique 2" ci-dessus
• Parallel efficient algorithms and their programming.  Jean-Louis Roch. polycopié ENSIMAG, 1997.   [ bib  | .ps.gz | .pdf ]
• Calcul algébrique et formel, Thierry Gautier, Nathalie Revol, Jean-Louis Roch, and Gilles Villard. polycopié ENSIMAG 1996. [bib | .ps.gz | .pdf ]
• Complexité parallèle.  Jean-Louis Roch.  polycopié ENSIMAG 1995. [ bib | .ps.gz | .pdf ]
• Parallélisme.  Brigitte Plateau, Anne Rasse, Jean-Louis Roch, and Jean-Pierre Verjus. polycopié ENSIMAG 1994. [ bib | .ps.gz | .pdf ]
• Lpac, langage pour l'algèbre et le calcul. Jean-Louis Roch and Jean-Ronan Vigauroux. Polycopié Projet de compilation ENSIMAG/, 1989.[ bib | .pdf ]