Invitation à la soutenance de thèse - Haluk Ozaktas

Bonjour,

J'ai le grand plaisir de vous inviter à la soutenance de ma thèse intitulée :

"Compression de code et optimisation multicritère des systèmes embarqués
dans un contexte temps réel strict"

Date & lieu : 29 septembre 2011 à 15h00 au LIP6, tour 55-65 salle 211.

Vous êtes également invités au pot qui suivra à la maison de la pédagogie
salle A002.

Résumé :

Pour des raisons économiques, énergétiques et/ou ergonomiques, les
systèmes embarqués sont soumis à de nombreuses contraintes comme être
performants en moyenne ou dans le pire cas, avoir une consommation
d'énergie et une mémoire de taille aussi réduite que possible. En
conséquence, les systèmes embarqués ont plusieurs critères à optimiser
lors de leur conception. Ce travail de thèse s'intéresse à la mise au
point de stratégies d'optimisation de code multicritère pour des
applications embarquées potentiellement temps réel strict.

Dans un premier temps, un schéma de compression de code a été développé et
mis en place pour optimiser principalement la taille de code. Ce schéma
utilise une décompression dans le pipeline du processeur pour pouvoir
optimiser aussi la consommation d'énergie et la performance moyenne ou
pire cas. L'analyse des effets du schéma proposé a montré qu'il peut
simultanément optimiser, ou offrir de bons compromis entre, plusieurs
critères.

Dans un deuxième temps, une plateforme d'optimisation multicritère a été
mise en œuvre pour appliquer simultanément plusieurs transformations de
code ciblant différents critères. Cette plateforme utilise une approche
itérative pour trouver les points de compromis entre les critères
d'intérêt.

Finalement, afin de mettre au point des stratégies d'optimisation
multicritère, nous avons proposé d'utiliser une méthode de comparaison
statistique de l'efficacité des algorithmes de recherche à trouver
rapidement de bonnes optimisations. Nous avons appliqué cette méthode à
différents algorithmes de recherche dans plusieurs cas d'optimisation.

Mots-clés : compression de code, optimisation multicritère, compilation
itérative, systèmes embarqués, temps réel, haute performance.

Jury :

- Nathalie DRACH-TEMAM, Directrice de thèse
Professeur à l'UPMC
- Karine HEYDEMANN, Encadrante
Maître de Conférences à l'UPMC
- François BODIN, Rapporteur
Professeur à l'Université de Rennes 1 - CAPS Entreprise
- Pascal SAINRAT, Rapporteur
Professeur à l'Université Paul Sabatier
- Jean-Luc LAMOTTE, Examinateur
Professeur à l'UPMC
- Marc DURANTON, Examinateur
Chercheur au CEA

Cordialement,
Haluk Ozaktas

Invitation à la soutenance de thèse de Benjamin Canou

Bonjour,

J'ai le plaisir de vous convier à la soutenance de ma thèse intitulée
"Programmation Web Typée", qui s'articule autour des problématiques de
programmation du navigateur et de manipulations sûres du document.

La soutenance aura lieu le 4 octobre 2011 à 10h45, en salle 25-26-105,
sur le campus de Jussieu.

Un pot suivra, auquel vous êtes aussi conviés, en salle 25-26-101.

----------------------------------------------------------------------

Résumé de la thèse :

Le but de cet thèse est de contribuer à rendre la programmation Web plus
flexible et plus sûre qu'elle ne l'est avec les solutions répandues
actuellement. Pour ceci, proposons une solution dans la lignée des
langages de la famille ML, qui laisse un maximum de liberté au
programmeur de part son côté multi-paradigmes, tout en offrant un degré
de sûreté important grâce au typage statique.

Dans une première partie, nous montrons qu'il est possible de programmer
le navigateur sans se plier au style de JavaScript. Notre solution est
OBrowser, une implantation en JavaScript de la machine virtuelle OCaml.
L'implantation prend en charge l'ensemble du langage OCaml et de sa
bibliothèque, y compris le modèle de concurrence préemptif. Nous
présentons de plus un mécanisme d'inter-opérabilité entre la couche
objet de JavaScript et celle d'OCaml, permettant d'utiliser de façon
bien typée l'environnement du navigateur avec les objets d'OCaml.

Dans une seconde partie, nous fournissons une API de manipulation du
document plus sûre et de plus haut niveau que le DOM des navigateurs. En
particulier, nous cherchons à éliminer les déplacements implicites
effectués par le DOM pour maintenir la forme d'arbre, qui limitent les
possibilités de typage statique. Nous donnons d'abord fDOM, un modèle
formel minimal similaire au DOM. Puis nous proposons cDOM, un modèle
alternatif où les déplacements sont remplacés par des copies. Nous
décrivons ensuite FidoML, un langage basé sur ML, permettant les
manipulations bien typées du document grâce à l'utilisation de cDOM.
Dans toute cette partie, nous faisons attention à ce que les solutions
données soient aussi adaptables que possible.

Dans une troisième partie, nous montrons comment les travaux, jusqu'ici
principalement présentés dans le cadre du navigateur, s'appliquent à un
contexte multi-tiers. Nous donnons d'abord un tour d'horizon des
plates-formes multi-tiers proches issues de la recherche. Nous décrivons
en particulier les solutions qu'elles apportent à un ensemble de
problématiques spécifiques à la programmation Web. Puis nous concluons
en présentant les grandes lignes d'un langage multi-tiers mettant à
profit les travaux des deux parties précédentes dans les solutions à ces
différentes problématiques.

----------------------------------------------------------------------

Composition du jury :

- Emmanuel Chailloux, directeur,
Professeur à l'Université Pierre et Marie Curie
- Vincent Balat, directeur,
Maître de Conférences à l'Université Paris Diderot
- Jacques Garrigue, rapporteur,
Professeur à l'Université de Nagoya,
- Peter Van Roy, rapporteur,
Professeur à l'Université Catholique de Louvain
- Christian Queinnec,
Professeur à l'Université Pierre et Marie Curie
- Giuseppe Castagna,
Directeur de Recherches au CNRS
- Manuel Serrano,
Directeur de Recherches à l'INRIA Sophia Antipolis
- Alain Frisch,
Directeur Technique, LexiFi

----------------------------------------------------------------------

Pour un récapitulatif de ces informations : http://canou.fr/soutenance/

Benjamin Canou.

Invitation à la soutenance de thèse de Luk Bettale

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée:
"Cryptanalyse algébrique : outils et applications"

La soutenance aura lieu le Lundi 3 Octobre à 13h00 à l'UPMC (Jussieu),
Tour 25-26, 1er étage, salle 105 devant le jury suivant:

Jean-Claude Bajard, examinateur, professeur à l'UPMC,

Jean-Charles Faugère, directeur de thèse, directeur de recherche à l'INRIA,

Pierre-Alain Fouque, rapporteur, maître de conférences à l'ÉNS,

Jaime Gutierrez, rapporteur, professeur à l'Universidad de Cantabria,
Santander (Espagne),

Franck Landelle, examinateur, ingénieur à la DGA maîtrise de l'information,

Ludovic Perret, co-encadrant, maître de conférences à l'UPMC.

Vous êtes également invité au pot qui suivra.

résumé de la thèse (a summary in english is following):
Cette thèse traite de la cryptanalyse algébrique qui consiste à
modéliser une primitive cryptographique en un système d'équations
polynomiales en plusieurs variables dans le but de le résoudre (ou au
moins d'en estimer la difficulté). Pour la résolution, nous utilisons
des outils provenant du calcul formel (bases de Gröbner).
Un première axe a été la modélisation et la recherche d'antécédents sur
des fonctions de hachages cryptographiques. Nos travaux permettent
d'estimer que le coût d'une recherche d'antécédent est inférieure à la
recherche exhaustive pour les fonctions les plus courantes. Nous
observons même une meilleure complexité que les attaques existantes.
Un deuxième axe a été la conception et l'étude d'algorithmes qui tirent
parti du contexte d'application (corps finis). Notre méthode mélange
l'énumération exhaustive des éléments du corps avec le calcul de bases
de Gröbner. Nous donnons une étude fine de sa complexité et nous
quantifions le gain apporté (un gain exponentiel en le nombre de
variables). La conception de ces algorithmes est motivée par l'attaque
de cryptosystèmes multivariés. Nos résultats permettent de montrer la
faiblesse de certains paramètres proposés (pour le schéma UOV par exemple).
Nous analysons également les schémas HFE et leurs généralisations
Multi-HFE. Nous donnons dans cette thèse une attaque en recouvrement de
clé qui est polynomiale en la taille du chiffré. Notre attaque permet
aussi de montrer que les schémas Multi-HFE sont moins sûrs que les
schémas HFE originels. Enfin, nous donnons des adaptations qui
permettent d'attaquer aussi les variantes sensées renforcer le schéma.

summary:
This thesis is about algebraic cryptanalysis, a technique consisting in
modeling a cryptographic primitive with a system of multivariate
polynomial equations. The goal is to solve it (or at least, estimate the
difficulty). For the solving step, we use tools from computer algebra
(Gröbner bases).
A first direction was the modeling and preimage attacks on cryptographic
hash fuctions. Our work allows to estimate that the cost of an algebraic
preimage attack is lesser than the exhaustive search. We observe a
better complexity than existing attacks.
A second direction was the design and study of solving algorithms for
finite fields. Our approach (hybrid approach) mixes exhaustive search
and Gröbner bases computation. We give the precise asymptotic complexity
of the approach, and we estimate the gain brought over classical methods
(an exponential gain in the number of variables). The design of this
approach is motivated by attacks on multivariate cryptosystems. Our
results permit to show the weakness of parameters proposed for such
schemes (for example the UOV scheme).
We also studied HFE schemes and their generalization Multi-HFE. We give
in this thesis a (practical) key recovery attack whose complexity is
proved to be polynomial in the size of the ciphertext. Our attack shows
that Multi-HFE schemes are less secure than original HFE schemes.
Finally, we adapt our attack to attack several variants supposed to
strengthen the schemes.

Bien cordialement,

--
Luk Bettale

Invitation à la soutenance de thèse de Meriem Abid

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Pilotage autonomique de la mobilité dans les réseaux sans fil hétérogènes"

La soutenance aura lieu le Vendredi 23 Septembre à 14h30 à la grande
salle de visioconférence au rez-de-chaussée du bâtiment Atrium,
couloir jaune, porte 2.

Vous êtes également invités au pot qui suivra.

***********
Résumé

***********

La convergence des réseaux sans fil hétérogènes autour d'un réseau
cœur IP est la conséquence de plusieurs facteurs qui sont d'une part
la complémentarité des technologies déployées (en terme de zone de
couverture, de capacité,...) et la démocratisation d'équipements
terminaux sophistiqués supportant de nouveaux services multimédia
d'autre part. Dans ce travail, nous nous intéressons à la qualité
d'expérience des utilisateurs mobiles afin qu'ils soient toujours
connectés au mieux et qu'ils puissent bénéficier des meilleurs
services selon leurs préférences. Pour cela, nous avons proposé une
solution qui s'appuie sur le paradigme de l'autonomique et qui
s'articule autour de deux axes de recherche à savoir la gestion de la
connaissance (plan de connaissance) et la gestion des traitements et
de l'optimisation (plan de pilotage). Nous avons donc proposé un plan
de connaissance uniquement dédié à la connaissance et à sa gestion
afin de réduire sa complexité. Ce plan permettra d'introduire de
nouvelles informations dans le réseau et enrichira le processus de
décision du handover. Par ailleurs, une stratégie de décision basée
sur la théorie de l'utilité a également été mise en œuvre pour traiter
les challenges d'un problème multiobjectifs que pose la procédure de
décision du handover.

*****************
Jury de thèse
*****************

Jean-Marie Bonnin, Rapporteur, Professeur à Telecom Bretagne
André-luc Beylot, Rapporteur, Professeur à l'E.N.S.E.E.I.H.T.
Francine Krief, Examinatrice, Professeur à l'ENSEIRB
Pierre Sens, Examinateur, Professeur à l'Université Pierre et Marie Curie
Hubert Zimmermann, Examinateur, PDG de Ginkgo Networks
Guy Pujolle, Directeur de thèse, Professeur à l'Université Pierre et
Marie Curie
Tara Ali Yahiya, Co-encadrante, Maître de conférence à l'Université d'Orsay

- - -

Meriem ABID

PhD Student

Phare team - LIP6 - UPMC
BC 169 - Office 25/26-310
4, Place Jussieu 75005 Paris, France
Phone : +33 1 44 27 88 79

Invitation à la soutenance de thèse de Sébastien Doirieux

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Modèles analytiques pour le dimensionnement de réseaux cellulaires de
quatrième génération"

La soutenance aura lieu le Vendredi 30 Septembre à 10h00 au LIP6, tour
25-26, 1er étage, salle 101

Résumé

Cette thèse porte sur le développement de modèles analytiques, à la
fois précis et simples d'utilisation, adaptés aux problèmes posés par
le dimensionnement des réseaux cellulaires 4G (WiMAX et LTE). Les
modèles, s'appuyant sur la théorie des files d'attente, permettent
d'évaluer les performances d'une cellule 4G et de ses utilisateurs.
Dans un premier temps, ont été proposés tour à tour des modèles dédiés
à chaque type de services et à leurs besoins en QoS respectifs (VoIP,
VoIP avec suppression des silences, streaming et WEB). Chacun d'eux a
été décliné afin de considérer des cellules contenant plusieurs
groupes d'utilisateurs avec différents profils. Dans un second temps,
des méthodes ont été élaborées pour combiner les précédents modèles
afin de prendre en compte des cellules avec intégration de services
tout en minimisant la complexité de résolution. Tous les modèles ont
été pensés afin d'obtenir des expressions à formes closes de
l'ensemble des paramètres de performances du système et donc d'être
résolus instantanément. Cette rapidité rend possible les études de
dimensionnement les plus complètes, études qui seraient absolument
inenvisageables à partir de simulations.

Jury

Guy Pujolle, professeur à l'Université Pierre et Marie Curie
Jean-Michel Fourneau, professeur à l'Université de Versailles Saint
Quentin
Gerardo Rubino, directeur de recherche INRIA à l'IRISA Rennes
Christian Bonnet, Professeur à l'EUROCOM, Sophia Antipolis
Isabelle Guérin-Lassous, professeur à l'Université Lyon I
Laurent Thomas, directeur de recherche chez Alcatel-Lucent
Bruno Baynat, maître de conférence à l'Université Pierre et Marie Curie
Serge Fdida, professeur à l'Université Pierre et Marie Curie

Cordialement,

Sébastien Doirieux

Invitation à la soutenance de thèse de Yosra Barouni, le 16 Septembre 2011

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Routage centré sur le contenu pour l'Internet du futur"

La soutenance aura lieu le Vendredi 16 Septembre à 10h00 au LIP6, tour 25-26, 1er étage, salle 105

Vous êtes également invités au pot qui suivra à la salle 101, même étage, tour 26-00.

************
Résumé
************

Le routage centré sur le contenu est un paradigme qui permet d'acheminer les messages à la base de leur contenu plutôt que les adresses des noeuds qui les échangent. Cette thèse vise la conception et le déploiement de nouveaux protocoles qui exploitent les propriétés du routage centré sur le contenu.
Notre première contribution propose la découverte efficace et distribuée des contenus disponibles dans le réseau avec notre mécanisme CCR. Chaque requête est relayée en fonction de l'intérêt qu'elle exprime et de plusieurs métriques de filtrage. Les analyses de performance effectuées montrent que CCR permet d'atteindre un bon compromis entre le taux de messages de contrôle généré et la répartition de la charge entre les différents routeurs.
Notre deuxième contribution consiste en un algorithme de dissémination appelé MAGNET. MAGNET dissémine les contenus à travers le réseau de telle façon à regrouper les publications similaires dans les mêmes routeurs. Ainsi, l'algorithme de filtrage CCR peut aisément trouver les chemins vers les meilleurs contenus correspondant à une requête cliente. L'évaluation des performances effectuée montre que la combinaison de CCR et MAGNET permet une bonne efficacité avec un taux acceptable de messages de contrôle.
Le troisième volet de cette thèse concerne l'implémentation et le test de notre routage centré sur le contenu dans les réseaux de l'Internet du futur. Nous avons donc implémenté nos propositions avec une API fournie par le projet européen ANA, dédié aux réseaux autonomes. Après le déploiement des modules implémentés sur la plateforme de test , nous avons pu l'adaptation de notre routage dans le contexte des réseaux autonomes.

********
Jury
********

DIAZ Michel, rapporteur, directeur de recherche, LAAS-CNRS
MAGONI Damien, rapporteur, professeur, Université de Bordeaux
LEGENDRE Franck, examinateur, chercheur, ETHZ zurich
SENAC Patrick, examinateur, enseignant-chercheur, LAAS-CNRS
TIXEUIL Sébastien, examinateur, professeur, UPMC
FDIDA Serge, directeur de thèse, professeur, UPMC
SPATHIS Prométhée, co-encadrant, maître de conférences, UPMC


Cordialement,
Yosra Barouni


--
---------------------------------------------------------
| Yosra Barouni                                              |

|  PhD Student                                               |
|  LIP6 - UPMC                                              |
|  BC 169                                                       |
|  4 place jussieu, Tour 26-00, Bureau 116   |
|  75252 Paris Cedex 05 - France                 |
|  Tel : +33 1 44 27 88 39                              |
|  Fax : +33 1 44 27 53 53                             |
|  http://www-rp.lip6.fr/~barouni/                    |
-----------------------------------------------------------

Invitation à la soutenance de thèse de Manel Bourguiba

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée:
"Plateforme flexible et performante pour les routeurs virtuels sur une
architecture multi-cœur"

La soutenance se déroulera:

==========
Vendredi 16 Septembre à 14h00 au LIP6, salle 105 - 1er étage - Couloir 25/26
==========

Vous êtes également invités au pot qui suivra.

=========
Résumé
=========
Cette thèse propose une alternative aux routeurs physiques
propriétaires et répond ainsi aux attentes des opérateurs réseaux, à
la recherche de routeurs flexibles, extensibles et à faible coût. Elle
propose à cet effet une plateforme flexible et performante pour les
routeurs virtuels basés sur un matériel standard. Elle inclut une
évaluation expérimentale de la performance de transmission des
routeurs virtuels basés sur la technologie Xen sur une architecture
multi-cœur ainsi qu'une analyse de la consommation des ressources
physiques en vue de l'identification des différents goulots
d'étranglement. Par ailleurs, elle met en œuvre un ensemble de
mécanismes pour la gestion de la CPU, des interruptions et la garantie
de la QoS ainsi que l'allocation des cœurs aux différents routeurs
virtuels. L'ensemble de ces mécanismes a permis l'amélioration de la
capacité de transmission des routeurs virtuels dans le respect des
délais des paquets. Elle propose enfin un nouveau mécanisme pour la
communication entre le driver domain et les routeurs virtuels, basé
sur l'agrégation des paquets ainsi qu'un outil pour son paramétrage
dynamique.

========
Jury
========
Raouf Boutaba, Rapporteur, Professeur, Université de Waterloo
Michelle Sibilla, Rapporteur, Professeur, Université Paul Sabatier
Djamal Zeghlache, Examinateur, Professeur, Télécom SudParis
Pierre Sens, Examinateur, Professeur, Université Pierre et Marie Curie
Prosper Chemouil, Examinateur, Directeur de recherche, Orange Labs
Guy Pujolle, Directeur de thèse, Professeur, Université Pierre et Marie Curie
Kamel Haddadou, Encadrant, Ingénieur de recherche, Gandi SAS

Cordialement,

Manel Bourguiba

Manel BOURGUIBA
PhD Candidate
PHARE - LIP6 - UPMC - Sorbonne Universités
BC169 - Office 25/26-319
4 place Jussieu
75252 PARIS cedex 05
+33 1 44 27 61 88