Master de sciences et technologies mention : informatique

Réalisations du responsable dans le domaine de l’UE

• 
  Ses sujets de reherches se concentrent sur les modulateurs Sigma-Delta, les convertisseurs numérique-analogique et analogique-numérque ainsi que l'automatisation de la conception des circuits analogique intégrés. Il est l'auteur et le co-auteur de plus que 15 publications internationales dans ces domaines.
  
• 
  H. Aboushady, Y. Dumonteix, M.M. Louerat and H. Mehrez, "Efficient Polyphase Decomposition of Comb Decimation Filters in Sigma-Delta Analog-to-Digital Converters", IEEE Transactions on Circuits and Systems-II, vol. 48, No. 10, October 2001.
  
• 
  H. Aboushady, L. de Lamarre, N. Beilleau and M.M. Louerat, "Automatic Synthesis and Simulation of Continuous-Time Sigma-Delta Modulators", IEEE Design Automation and Test in Europe", DATE'04, Paris, France, February 2004. Winner of the Best Interactive Presentation.
  
• 
  H. Aboushady, F. Montaudon, F. Paillardet and M.M. Louerat, "A 5mW, 100kHz Bandwidth, Current-Mode Continuous-Time Sigma-Delta Modulator with 84dB Dynamic Range", IEEE European Solid-State Circuits Conference, ESSCIRC'02, Florence, Italy, September 2002.
  
• 
  H. Aboushady and M.M. Louerat, "Systematic Approach for Discrete-Time to Continuous-Time Transformation of Sigma-Delta Modulators", IEEE International Symposium on Circuits and Systems, ISCAS'02, Phoenix AZ, USA, May 2002.
  

Acronyme : cf	Spécialité : STL	6 ECTS	Niveau : 400	Semestre : S2
Titre : Calcul formel
Responsable : Philippe AUBRY		Répartition hebdomadaire ou semestrielle
		(CM: 2h00)(TD: 2h00)(TME: 2h00)
Contenu Compréhension des mécanismes en jeu dans le calcul exact pou rune programmation efficace dans les systèmes de calcul formel. Structures de données et fonctionnalités. Algorithmes (efficacité et comparaison). Arithmétique des entiers et polynômes. Rédaction de rapport
Expérience du responsable dans le domaine de l’UE Membre de l'équipe de Calcul Formel du LIP6 et du projet INRIA SALSA (Solvers for ALgebraic Systems and Applications).
Réalisations du responsable dans le domaine de l’UE

Acronyme : cfc	Spécialité : STL	3 ECTS	Niveau : 500	Semestre : S3
Titre : Calcul formel et cryptologie
Responsable : Jean-charles FAUGÈRE		Répartition hebdomadaire ou semestrielle
		(30h/7 semaines)
Contenu Le but du cours est de présenter les techniques de protection de l’information numérique fondée sur la théorie algébrique des codes correcteurs d’erreurs et les outils de Calcul Formel permettant de résoudre ou manipuler les équations algébriques dans les corps finis. On montre aussi dans le cours comment ces techniques algébriques et de codage fournissent des outils puissants et généraux de cryptanalyse.
Expérience du responsable dans le domaine de l’UE Mon activite de recherche porte sur la resolution des systemes d'equations algebriques (plus exactement les algorithmes et logiciels pour calcul efficace des Bases de Groebner). Une autre partie essentielle de la recherche sont les applications de ces techniques en Cryptologie et les Codes Correcteurs d'erreurs. Cette activite est le support meme du cours (algorithmes, logiciels, complexite).
Réalisations du responsable dans le domaine de l’UE Faugère J.C. A new efficient algorithm for computing Groebner bases (F4) Journal of Pure and Applied Algebra 1999 Bardet, M. and Faugère, J.C and Salvy B. Asymptotic Expansion of the Degree of Regularity for Semi-Regular Systems of Equations Mega 2005 Sardinia (Italy) Algorithms". In Asiacrypt, Lecture Notes in Computer Science (Dec 2004). Faugère J.C. A new efficient algorithm for computing Gröbner bases without reduction to zero F5 ISSAC 2002 Faugère, J.-C. and Joux, A. Algebraic Cryptanalysis of Hidden Field Equation (HFE) Cryptosystems Crypto 2003 A. Basiri and A. Enge and J.C. Faugère and N. Gürel The arithmetic of Jacobian groups of superelliptic cubics Mathematics of Computation 2004