> De : Jean Claude Bajard <Jean-Claude.Bajard@lip6.fr>
> Date : 6 juin 2011 09:53:35 HAEC
> À : Tout LIP6 <tout-lip6@lip6.fr>
> Objet : Soutenance de thèse Yannick Teglia 10 juin 10h salle 105 25-26
>
> Bonjour
>
> Vous êtes cordialement invités à la soutenance de thèse de
> M. Yannick Teglia, intitulée
> Ingénierie Et Robustesse Des Systèmes Embarqués Sécuritaires
>
> Le jury composé de :
> M. Jean-Claude Bajard Professeur, Université Pierre et Marie Curie, Paris VI Directeur
> M. Louis Goubin Professeur, Université de Versailles Rapporteur
> M. Viktor Fischer Professeur, Université de Saint-Etienne Rapporteur
> Mme Nathalie Drach-Temam Professeur, Université Pierre et Marie Curie, Paris VI Examinatrice
> M. Henri Gilbert Directeur du laboratoire de cryptologie, ANSSI Examinateur
> M. Lionel Torres Professeur, Université de Montpellier II Examinateur
> M. Frédéric Valette Ingénieur de Recherche, Ministère de la Défense DGA/CELAR, Examinateur
>
>
>
> Résumé
> Les composants de sécurité de type carte à puce (smartcard) ou les systèmes sur puce
> (System On Chip) à fonction sécuritaire sont soumis depuis plus d'une dizaine
> d'années à une nouvelle classe d'attaques appelées attaques par canaux cachés (Side
> Channel Attack).
> Ces attaques visent à obtenir des informations du composant en utilisant par exemple
> sa consommation en courant ou son rayonnement électromagnétique.
> Par extension ces attaques permettent aussi de perturber le fonctionnement du
> composant par injection de fautes au moyen de faisceaux lasers ; le but étant de
> récupérer des secrets ou d'obtenir des privilèges.
> Dans cette thèse, nous présenterons un état de l'art de ces menaces ainsi que diverses
> contributions à des contre-mesures contre les. Ceci sera illustré au moyen de
> publications et brevets, mettant en oeuvre divers paradigmes pour lutter contre les
> fraudes. Nous montrerons notamment que les protections peuvent se situer au niveau
> arithmétique, algorithmique ou électronique et que des combinaisons sont possibles et
> souhaitables
> Nous aborderons aussi le sujet des générateurs de nombres aléatoires, nécessaires à la
> création de contre mesures, sous la perspective de tests statistiques qui permettent
> d'en évaluer la qualité.
> Nous dresserons enfin des perspectives de recherche quant au devenir des attaques
> tout autant que des contre-mesures dans des systèmes hétérogènes où la sécurité est un
> compromis entre le coût, la performance et la résistance du système.
> Mots clefs : Cryptographie, sécurité, système embarqué, carte à puce, attaque par
> canaux cachés, injection de faute, générateur aléatoire
>
>
>
vendredi 10 juin 2011
Fwd: Soutenance de thèse Yannick Teglia 10 juin 10h salle 105 25-26
mardi 7 juin 2011
Soutenance de thèse de Lionel Habib
J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée
"Formalisations et comparaisons de politiques et de systèmes de sécurité"
qui aura lieu le jeudi 16 juin à 10h dans la salle 203-205 au 2ème étage
du bâtiment 41. Vous êtes également invités au pot qui suivra.
------
Jury
------
Rapporteurs :
Christèle Faure, SafeRiver
Ludovic Mé, Supélec
Valérie Viêt Triêm Tông, Supélec
Examinateurs :
Horatiu Cirstea, LORIA
Christian Queinnec, UPMC
Direction :
Thérèse Hardin, UPMC
Mathieu Jaume, UPMC
--------
Résumé
--------
L'objectif de cette thèse est d'améliorer le degré de confiance
qu'il est possible d'avoir dans le domaine de la sécurité de
l'information, en s'appuyant sur les méthodes formelles. Pour ce faire,
nous définissons un cadre sémantique générique qui permet de
formaliser et de comparer des politiques et des systèmes de sécurité.
Nous décrivons deux approches de formalisation des politiques de
sécurité, et nous montrons de quelle manière nous exprimons des
politiques de sécurité administratives selon ces deux approches. Nous
présentons la notion de systèmes de sécurité qui consiste à mettre
en oeuvre une politique de sécurité par un système de transition
selon deux techniques permettant d'obtenir des systèmes de sécurité
qui respectent des politiques de sécurité par construction, ce qui
participe à remplir notre objectif. Nous introduisons trois préordres
permettant de comparer des politiques et des systèmes de sécurité,
qui caractérisent leur pouvoir d'expression. Nous appliquons les
définitions introduites dans notre cadre en formalisant et en comparant
des politiques de contrôle de permissions, d'accès et de flots
d'information, des politiques de sécurité administratives, et des
systèmes de sécurité. D'autre part, nous mettons en perspective notre
travail avec des travaux connexes. Enfin, nous exposons deux applications
pratiques réalisées avec l'atelier Focalize, le test d'une politique
de contrôle d'accès multi-niveaux, et le développement d'une
bibliothèque de politiques de sécurité, ce qui nous permet de montrer
que notre approche formelle, destinée à obtenir un niveau d'assurance
élevé, est viable dans la pratique.
----------
Abstract
----------
The objective of this thesis is to improve the degree of confidence that
one can have in the domain of information security, by relying on formal
methods. To do so, we define a generic semantic framework allowing to
formalize and to compare security policies and systems. We describe two
formalization approaches of security policies, and we show how we express
administrative security policies according to these two approaches. We
present the notion of security systems which consists in enforcing a
security policy by a transition system according to two techniques allowing
to obtain security systems which respect security policies by construction,
which contributes to fulfill our objective. We introduce three preorders
allowing to compare security policies and systems, which characterize their
expressing power. We apply the definitions introduced in our framework
by formalizing and comparing permissions, access and information flows
control policies, administrative security policies, and security systems.
On the other hand, we put in perspective our work with some related work.
Finally, we expose two practical applications realized within Focalize,
the test of a multi-level access control policy, and the development of
a library of security policies, which allows us to show that our formal
approach, intended to obtain a high level of assurance, is viable in
practice.
Cordialement,
Lionel Habib
--
Lionel Habib
UPMC - LIP6 - SPI
lundi 6 juin 2011
Soutenance de thèse Yannick Teglia 10 juin 10h salle 105 25-26
Vous êtes cordialement invités à la soutenance de thèse de
M. Yannick Teglia, intitulée
Ingénierie Et Robustesse Des Systèmes Embarqués Sécuritaires
Le jury composé de :
M. Jean-Claude Bajard Professeur, Université Pierre et Marie Curie, Paris VI Directeur
M. Louis Goubin Professeur, Université de Versailles Rapporteur
M. Viktor Fischer Professeur, Université de Saint-Etienne Rapporteur
Mme Nathalie Drach-Temam Professeur, Université Pierre et Marie Curie, Paris VI Examinatrice
M. Henri Gilbert Directeur du laboratoire de cryptologie, ANSSI Examinateur
M. Lionel Torres Professeur, Université de Montpellier II Examinateur
M. Frédéric Valette Ingénieur de Recherche, Ministère de la Défense DGA/CELAR, Examinateur
Résumé
Les composants de sécurité de type carte à puce (smartcard) ou les systèmes sur puce
(System On Chip) à fonction sécuritaire sont soumis depuis plus d'une dizaine
d'années à une nouvelle classe d'attaques appelées attaques par canaux cachés (Side
Channel Attack).
Ces attaques visent à obtenir des informations du composant en utilisant par exemple
sa consommation en courant ou son rayonnement électromagnétique.
Par extension ces attaques permettent aussi de perturber le fonctionnement du
composant par injection de fautes au moyen de faisceaux lasers ; le but étant de
récupérer des secrets ou d'obtenir des privilèges.
Dans cette thèse, nous présenterons un état de l'art de ces menaces ainsi que diverses
contributions à des contre-mesures contre les. Ceci sera illustré au moyen de
publications et brevets, mettant en oeuvre divers paradigmes pour lutter contre les
fraudes. Nous montrerons notamment que les protections peuvent se situer au niveau
arithmétique, algorithmique ou électronique et que des combinaisons sont possibles et
souhaitables
Nous aborderons aussi le sujet des générateurs de nombres aléatoires, nécessaires à la
création de contre mesures, sous la perspective de tests statistiques qui permettent
d'en évaluer la qualité.
Nous dresserons enfin des perspectives de recherche quant au devenir des attaques
tout autant que des contre-mesures dans des systèmes hétérogènes où la sécurité est un
compromis entre le coût, la performance et la résistance du système.
Mots clefs : Cryptographie, sécurité, système embarqué, carte à puce, attaque par
canaux cachés, injection de faute, générateur aléatoire
Soutenance de thèse Lucie Moulet
Dans le cadre d'une co-tutelle avec l'UQAM, Lucie
Moulet soutiendra sa thèse le 9 juin 2011 à
l'UQAM. Pour l'UPMC, la soutenance se déroulera
dans la petite salle de visio de l'ATRIUM à partir de 16h.
Titre : Modélisation de l'apprenant avec une
approche par compétences dans le cadre
d'environnements d'apprentissage en ligne
Résumé
Cette thèse se préoccupe de la modélisation de
l'apprenant dans le domaine des Environnements
informatiques pour l'apprentissage humain (EIAH).
Plus spécifiquement, notre objectif est de
proposer un modèle de l'apprenant adapté aux
caractéristiques des EIAH développés aujourd'hui.
Principalement, les EIAH contemporains visent à
être distribués, ouverts, interopérables,
développés avec une vision d'apprentissage tout
au long de la vie, ancrés sémantiquement et multi-acteurs.
Notre but est ainsi de concevoir et
d'opérationnaliser un modèle de l'apprenant qui
s'adapte et répond aux besoins des EIAH afin de
favoriser la personnalisation des apprentissages.
Plus spécifiquement, cette thèse vise la création
d'un modèle de l'apprenant offrant des
possibilités d'adaptation sémantique des
apprentissages, des possibilités
d'interopérabilité, une vision de l'apprentissage
tout au long de la vie par un suivi de
l'évolution dans le temps des apprentissages, une
ouverture aux différents contextes de vie d'un
individu (professionnel, personnel et académique)
et une ouverture aux différents acteurs
participant au processus d'apprentissage.
Cet objectif a été atteint par la conception d'un
modèle de l'apprenant comportant trois
caractéristiques principales, soit un modèle
cognitif fondé sur les compétences de l'apprenant
permettant un référencement sémantique, un modèle
évolutif en lien avec une vision de
l'apprentissage comme ayant lieu tout au long de
la vie et un modèle multi points de vue
permettant la prise en compte des divers acteurs
participant au processus d'apprentissage. De
plus, notre modèle favorise l'interopérabilité car il utilise le langage XML.
Notre proposition de modèle conceptuel de modèle
de l'apprenant est complétée par la conception et
l'implémentation d'un système de modélisation de
l'apprenant que nous avons appelé Nosma. Ce
système est validé par la conduction de trois
simulations effectuées dans trois contextes différents d'apprentissage.
Le principal apport de cette thèse est de
proposer un cadre pour la modélisation de
l'apprenant regroupant plusieurs dimensions : une
dimension sémantique (compétences), une dimension
évolutive (dans le sens d'apprentissage tout au
long de la vie) et une dimension apprentissage
ouvert (aux acteurs et aux contextes).
Jury
Josiane Basque
Monique Grandbastien
Richard Hotte
Jean-Marc Labat
Olga Marino
Roger Nkambou
Jean-Marc LABAT
****************************
Professeur d'informatique
Université UPMC
Equipe MOCAH-Lip6
jean-marc.labat@lip6.fr
L'UTES : 01 44 27 65 30
Lip6 : 01 44 27 71 22
06 26 39 07 16
****************************
mercredi 25 mai 2011
Soutenance de thèse - Joseph Onderi ORERO- mardi 31 mai 2011 - 09h00
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
«Modélisation de systèmes émotionnels à partir de signaux physiologiques
et application dans la conception de jeux vidéo » ainsi qu'au pot qui
suivra.
La soutenance se déroulera le mardi 31 mai 2011 à 9h00
en salle 211, couloir 55-65, 2ème étage (accès par la tour 55).
4 place Jussieu, Paris 5ème.
Voici un plan d'accès :
http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/jussieu.html
=======
Jury
=======
Bernadette BOUCHON-MEUNIER (Directrice de recherches au CNRS,
UPMC/LIP6)[Directrice]
Maria RIFQI (Maître de Conférences-HDR, Université
Panthéon-Assas/LIP6)[Encadrante]
Anne LAURENT (Maître de Conférences-HDR, Université Montpellier 2)
[Rapporteur]
Olivier STRAUSS (Maître de Conférences-HDR, Université Montpellier 2)
[Rapporteur]
Charles TIJUS (Professeur, Université Paris 8) [Examinateur]
Thierry ARTIÈRES (Professeur, UPMC/LIP6) [Examinateur]
======
Résumé
======
Les émotions jouant un rôle essentiel dans les rapports humains, il est
important de développer des méthodologies pour évaluer les états
émotionnels ressentis par un utilisateur lorsqu'il interagit avec des
ordinateurs. Dans le domaine de la conception des jeux vidéo en
particulier, ce besoin est primordial. En effet, les jeux vidéo
constituent maintenant une partie de la culture de notre société, non
seulement comme forme de divertissement mais aussi comme un des plus
puissants canaux éducatifs.
Pourtant, quantifier ce genre d'interactions homme-machine est une
aventure parsemée d'ambigüités. Dans ce contexte, parmi un vaste éventail
de moyens possibles pour accéder aux réactions émotionnelles de
l'utilisateur, les mesures physiologiques ont un avantage clé parce
qu'elles permettent un accès à des processus inconscients. Mais, faire
correspondre des motifs physiologiques à des émotions reste encore une
tâche extrêmement difficile. Dans cette thèse, nous développons un modèle
adéquat pour répondre à ces questions fondamentales. Pour cela, nous avons
mené des expériences dans lesquelles les mesures physiologiques de joueurs
jouant sur un jeu d'action ont été enregistrées pour découvrir des
signatures physiologiques typiques de diverses expériences de jeu.
Ensuite, nous avons utilisé un modèle d'apprentissage automatique le plus
adapté à cette tâche particulière. Tandis que certains modèles actuels ont
pu montrer leur efficacité dans la classification (discrimination d'états
cognitifs), ils ne semblent pas suffisamment robustes pour répondre au
problème de la caractérisation psychophysiologique, c'est-à-dire de
l'induction de connaissances facilement compréhensibles. Dans cette thèse,
nous avons considéré deux méthodologies: l'apprentissage automatique par
des arbres de décision flous, et la construction automatique de prototypes
flous grâce aux calculs de typicalité, pour la mise en évidence des
relations psychophysiologiques caractéristiques. Deux études
expérimentales ont été menées; l'une pour étudier profondément les
propriétés de caractérisation de diverses mesures physiologiques en
relation avec les états émotionnels; l'autre, pour tester le modèle
construit en évaluant les états émotionnels en relation avec diverses
séquences de jeu. Grâce à ce modèle, nous avons développé un contrôleur
flou psychophysiologique capable de mesurer correctement et de manière
continue des états émotionnels du joueur.
======
Title
======
"Modeling aff ective systems through physiology and their application in
design of video games"
======
Abstract
======
As emotions play a significant role in normal human relations, there is
need to develop methodologies for assessing user's emotional experiences
while interacting with computers. More especially, it has a particular
interest in the field of gameplay technology. Indeed, video games are now
part of our society culture, not only as a form of entertainment but also
as one of the most powerful educative channels of our times.
However, to quantify such human computer interactions is venture that is
clouded with ambiguity. In this context, among a vast range of possible
ways to access a user's emotional responses, physiological measures have a
key advantage as they grant an access to non conscious and non reportable
processes. But, to map physiological patterns to user psychological states
still remains an extremely intricate task. In this study, we addressed the
possibility of developing an adequate model to tackle these fundamental
issues. Hence, we conducted experiments in which physiological measures on
players involved in an action game were recorded with an aim of
discovering typical physiological signatures associated with various
gaming experiences.
Subsequently, we employ a machine learning model that is best suited for
this peculiar task. While some of the current models may have proved to be
efficient in classification (discriminating cognitive states), they do not
seem robust enough to tackle the problem of psychophysiological
characterization i.e the induced knowledge is often difficult to exploit.
In this work, we consider two frameworks: machine learning by fuzzy
decision trees, and drawing from typicality-based prototypes framework, we
formulate a model that employs typicality degrees to discover pertinent
psychophysiological characteristics.
We frame this in two main experimental studies, one, to extensively study
characterization properties of various physiological features in relation
to cognitive states, and another, to test the constructed framework by
assessing player's psychological states in relation to various game
events. Thanks to our framework, we developed a fuzzy psychophysiological
controller that was able to correctly measure continuously the player's
affective states.
Merci beaucoup,
Joseph Onderi ORERO
UPMC - LIP6
4 place Jussieu
75252 Paris Cedex 05
France
office #504-26-00 (tower 26, 5th floor)
Phone (33) 1 44 27 88 87
Fax (33) 1 44 27 70 00
mardi 17 mai 2011
Invitation à la soutenance de thèse de Jad AYOUB le mercredi 25 mai à 14h00
Jad AYOUB à le plaisir de vous inviter sa soutenance de ma thèse intitulée:
"Contribution à l'intégration des Machines à vecteurs de support au sein d'un capteur de vision 3D intégré : Application au diagnostic endoscopique"
============
Date et lieu
============
La soutenance se déroulera le mercredi 25 mai, à 14h dans l'amphi HERPIN du bâtiment Esclangon à Jussieu.
Vous êtes également invités au pot qui suivra, en salle 321 au 3ème étage du bâtiment Esclangon.
====================
Résumé de la thèse :
====================
La reconnaissance d'objets tridimensionnels est un problème important dans le domaine de vision artificielle. Il a attiré l'attention de beaucoup de chercheurs pendant les deux dernières décades. Il y a beaucoup d'applications dans la vie réelle, telles que l'endoscopie, la cartographie de zones difficilement accessibles ou bien encore les micro-drones qui peuvent tirer avantage d'avoir la possibilité de reconstruire et de reconnaitre leur environnement en 3D.
Les systèmes existants permettant ces traitements sont trop encombrant et énergivores pour satisfaire les contraintes liées à ces applications qui sont utilisées dans des systèmes embarqués.
Malgré les nombreuses méthodes proposées, une solution efficace et complète pour ce problème n'a pas encore été trouvé.
Pour répondre aux besoins de ces applications, nous présentons dans ce mémoire le projet Cyclope, un capteur de vision 3D intégré sans fil. Ce capteur se base sur la vision stéréoscopique
active pour restituer le relief en 3D, et sur les machines ‡ vecteurs de supports pour la discrimination des objets 3D reconstruits.
L'architecture que nous proposons pour réaliser un tel capteur satisfait aux contraintes définies dans le cadre du projet : fort degré d'intégration, grande précision, traitement temps réel, et faible consommation.
==========
Abstract :
==========
Three-dimensional object recognition is a crucial problem in computer vision. It has attracted attention of many researchers in the last two decades.
There are many related applications in real life, such as capsule endoscopy, cartography, hostile areas exploration, or even micro-UAVs. These applications could derive great benefit from having the opportunity to rebuild and recognize their environment in 3D, but existing systems are too limited regarding size and power consumption.
Despite many methods have been proposed, effective and complete solution to this problem is still being sought.
To meet certain needs of these applications, we present in this thesis the Cyclope project, an embedded active stereo-vision system that is able to give in real time both 3D data and texture,
and uses Support Vector Machines SVM for objects classification.
The proposed architecture meets the constraints defined in such a project: high integration level, high accuracy and real-time processing.
=====================
Composition du jury :
=====================
Rapporteurs :
Pr. Lionel Torres, LIRMM
Pr. Serge Weber, Université Henri Poincaré (Nancy 1)
Examinateurs :
Pr. Jean-Claude Bajard, UPMC
Pr. Patrick Garda, LIP6
Pr. Yasser Mhanna, LPM-Liban
Hdr Olivier Romain, LIP6
Directeur de thèse : Pr. Bertrand Granado, ETIS-ENSEA
========
Accès
========
4, Place Jussieu 75005 Paris
Plan d'accès : http://colloquium.lpthe.
Bien cordialement,
Jad Ayoub
mercredi 27 avril 2011
Soutenance de thèse - Sahar Changuel - mardi 3 mai 2011 - 14h00
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée «
Métadonnées pour la personnalisation de l'accès à la connaissance et à
l'information » ainsi qu'au pot qui suivra.
La soutenance se déroulera le Mardi 3 mai à 14h en Salle 101 (barre 25-26)
1er étage, au Laboratoire d'Informatique de Paris 6.
Voici un plan d'accès :
http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/jussieu.html
=======
Jury
=======
Soutenance devant le jury composé de :
- Mme Bernadette Bouchon-Meunier, Directeur de recherche, CNRS (Directeur)
- M Nicolas Labroche, Maître de conférence à l'Université Paris VI
(Encadrant)
- M Bernt Aman, Professeur à l'Université Paris VI (Examinateur)
- Mme Florence Sèdes, Professeur à l'université Paul Sabatier, Toulouse
(Rapporteur)
- M Bruno Crémilleux, Professeur à l'université de Caen (Rapporteur)
- M Charles Tijus, Professeur à l'université Paris 8 (Examinateur)
- Mme Monique Baron, Maître de conférence à l'Université Paris VI
(Examinateur)
======
Résumé
======
Au cours des dernières années, plusieurs institutions et projets se sont
focalisés sur le développement d'entrepôts de ressources éducatives. Une
des méthodes proposées pour améliorer la recherche sur ces entrepôts ou
sur le web d'une manière générale consiste à enrichir les documents avec
des métadonnées. C'est un ensemble d'informations destinées à mieux
identifier ces ressources : l'auteur, la date de publication, le titre,
etc. Ces métadonnées permettent de décrire, de localiser ou encore de
faciliter la découverte et l'utilisation des ressources. Le besoin de
méthodes de production des métadonnées qui sont plus efficaces et moins
coûteuses que celles impliquant des êtres humains se fait sentir. Notre
objectif dans ce travail de thèse est donc de réaliser des méthodes
d'extraction automatique de métadonnées à partir des ressources éducatives
afin de minimiser l'effort humain d'annotation.
Dans une première étude, nous explorons les relations qui peuvent exister
entre les différents champs de métadonnées. Nous utilisons pour cela des
méthodes d'apprentissage supervisé ainsi que des méthodes à base de règles
d'association. L'expérimentation nous a permis d'éliciter des relations
intéressantes entre champs de métadonnées et d'inférer les valeurs de
champs de métadonnées difficiles à extraire à partir du contenu, faisant
ainsi face au problème du gap sémantique.
Nous nous sommes aussi intéressés à l'extraction de métadonnées à partir
du contenu des ressources. Les méthodes proposées se basent sur les
techniques d'apprentissage supervisé en abordant les différents problèmes
auxquels on se confronte dans ces approches telles que la construction de
corpus, la construction des attributs, la fusion des attributs ainsi que
le déséquilibre des classes. Les méthodes proposées permettent de donner
de bien meilleurs résultats que celles généralement utilisées par les
systèmes de génération de métadonnées.
Nous nous sommes aussi focalisés sur les documents pédagogiques en
proposant une approche qui permet de distinguer automatiquement entre les
concepts définis et les concepts prérequis. Nous avons ensuite exploité
la catégorisation des concepts pour extraire un nouveau type d'information
qui est l'ordre pédagogique des documents.
Bien cordialement,
--
Sahar CHANGUEL
Bureau 26-00/501
Laboratoire d'Informatique de Paris 6
4 place Jussieu
75252 Paris Cedex 05
France
Tel : 01 44 27 87 26
Fax : 01 44 27 70 00