Institut National des Sciences Appliquéees de Lyon CITI Laboratory Université de Lyon

Stages et thèses

Thèses

Janvier 2017 - Juillet 2018

Étienne VILLEDIEU
Titre : Monitoring, Behavior Inferring and Checking, and Deployment Adaptations for Long-life Large-Scale IoT Systems
Encadrants académiques  : Nicolas Stouls et Frédéric Le-Mouël (HDR)
Encadrant industriel : Laurent Goix (Econocom)
Financement : CIFRE avec la société Econocom
Devenir : Ingénieur R&D

Septembre 2010 - Mars 2014

Yufang DAN
Titre final : Security and self-healability enforcement of dynamic components in a service-oriented system
Manuscrit : pdf (.bib)
Sujet Initial : pdf
Encadrants : Nicolas Stouls et Stéphane Frénot (HDR)
Financement : CSC (Chinese Scholarship Council)

Stages

2018-2019

  • Sujet de stage pour étudiant en IST Semester : .
    Titre : Storing IoT data in anybody's computer through BitTorrent
    Encadrants : Nicolas Stouls, Oscar Carrillo
    Étudiant(e) accueilli(e) : Melanie Brandl
  • Sujet de stage pour étudiant en IST Semester : .
    Titre : Storing IoT data in anybody's computer through BitTorrent
    Encadrants : Nicolas Stouls, Oscar Carrillo
    Étudiant(e) accueilli(e) : Yusung Sim

2017-2018

  • Sujet de stage pour étudiant en IST Semester : .
    Titre : Hardened Project: Adding JUnit test support
    Encadrants : Nicolas Stouls, Oscar Carrillo
    Étudiant(e) accueilli(e) : Guido DI LAURO

2016-2017

  • Sujet de stage pour étudiant en PIR (Projet d'Initiation à la Recherche) : .
    Titre : Application des Algorithmes de routage P2P dans l’IoT
    Encadrants : Nicolas Stouls, Oscar Carrillo
    Étudiant(e) accueilli(e) : Pauline Jacquet, Ophelia Rey, Roget Miret Gine, Yann Bellanger et Clement Grand
  • Sujet de stage pour étudiant en PFE : html.
    Titre : Hardened Golo : Donnez de la confiance en votre code Golo
    Encadrants : Nicolas Stouls, Oscar Carrillo
    Étudiant(e) accueilli(e) : Qifan ZHOU et Geoffrey GUETIER
  • Sujet de stage pour étudiant en PFE : html.
    Titre : Plateforme d'exercices auto-corrigés pour le premier cycle
    Encadrant : Nicolas Stouls
    Étudiant(e) accueilli(e) : Alexandre CLAUDE
  • Sujet de stage pour étudiant en IST Semester : html.
    Titre : Development of the type analysis module for Hardened-Golo
    Encadrants : Nicolas Stouls, Oscar Carrillo
    Étudiant(e) accueilli(e) : Nikolai PLOKHOI

2015-2016

  • Sujet de stage pour étudiant en Master (2 R) d'informatique ou PFE : html.
    Titre : Hardened Golo : Donnez de la confiance en votre code Golo
    Encadrant : Nicolas Stouls
    Étudiant(e) accueilli(e) : Raphael LAURENT
  • Sujet de stage pour étudiant en Master (2 R) d'informatique ou PFE : html.
    Titre : Hardened Golo : Donnez de la confiance en votre code Golo
    Encadrant : Nicolas Stouls
    Étudiant(e) accueilli(e) : Bertrand CAYEUX

2014-2015

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : html.
    Titre : Hardened Golo : Donnez de la confiance en votre code Golo
    Encadrant : Nicolas Stouls
    Stage non pourvu et abandonné

2012-2013

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : .
    Titre : Intération de la génération de propriétés dédiées au monitorage de systèmes dynamiques dans la phase de conception
    Encadrant : Nicolas Stouls
    Étudiant(e) accueilli(e) : Ala Eddine Abdellaoui

2011-2012

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : pdf.
    Titre : Étude de la délocalisation des services d'un puits vers les noeuds d'un réseau de capteurs
    Encadrants : Michel Courbon, Nicolas Stouls
    Étudiant(e) accueilli(e) : Shengcong Yang

2010-2011

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : pdf.
    Titre : Ambient calculus for distributed, service oriented virtual machines
    Encadrant : Nicolas Stouls
    Étudiant(e) accueilli(e) : Herman Mekontso Tchinda

2009-2010

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : pdf.
    Titre : Étude énergétique de logiciels embarqués sur capteurs
    Encadrants : Nicolas Stouls, Guillaume Salagnac
    Étudiant(e) accueilli(e) : Manh Cuong NGUYEN
  • Sujet de stage pour étudiant en 4IF ou ÉNS : pdf.
    Titre : Assistance à la vérification automatique de propriétés dynamiques sur du code C
    Encadrant : Nicolas Stouls
    Stage non pourvu et abandonné
  • Sujet de stage pour étudiant en Master (2 R) d'informatique, PFE ou ÉNS : pdf.
    Titre : Encodage de propriétés dynamiques dans des assertions de logique du premier ordre
    Encadrant : Nicolas Stouls
    Stage non pourvu et abandonné
  • Sujet de stage pour étudiant en Master (2 R) d'informatique : pdf.
    Titre : Proof carrying code for service oriented systems
    Encadrants : Lionel Morel, Nicolas Stouls
    Stage non pourvu et abandonné
  • Sujet de stage pour étudiant en Master (2 R) d'informatique ou PFE : pdf.
    Titre : Informatique de confiance en réseau ambiant
    Encadrants : Nicolas Stouls, Lionel Morel
    Stage non pourvu et abandonné

2008-2009

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : odt, pdf.
    Titre : extraction d'informations concernant la consommation d'énergie des protocoles cryptographique
    Encadrants : Nicolas Stouls, Lionel Morel
    Étudiant(e) accueilli(e) : Abdelouahab BELHADAD
  • Sujet de stage pour étudiant en Master (2 R) d'informatique : .
    Titre : Propositions théoriques et implantation d'optimisations fonctionnelles de l'outil d'analyse statique Aorai
    Encadrant : Nicolas Stouls
    Étudiant(e) accueilli(e) : Fabien CELLIER
  • Sujet de stage pour étudiant en Master (2 R) d'informatique : odt, pdf.
    Titre : Informatique de confiance en réseau ambiant
    Encadrants : Nicolas Stouls, Stéphane Ubéda
    Stage non pourvu et abandonné

2005-2006

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : html.
    Titre : Architecture de sécurité Java : Modèles et vérifications du contrôle d'accès
    Encadrants : Marie-Laure Potet, Nicolas Stouls
    Étudiant(e) accueilli(e) : Amal HADDAD

2004-2005

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : html.
    Titre : Modélisation et vérification de politiques de sécurité
    Encadrants : Marie-Laure Potet, Nicolas Stouls
    Stage non pourvu et abandonné
  • Sujet de stage pour étudiant en Magistère 1 ou 2 d'informatique : html.
    Titre : Intégration de Barvey à GénéSyst
    Encadrants : Didier Bert, Nicolas Stouls
    Stage non pourvu et abandonné
  • Sujet de stage pour étudiant en Magistère 1 ou 2 d'informatique : html.
    Titre : Détermination des états significatifs pour l'analyse de propriétés de sécurité.
    Encadrants : Didier Bert, Nicolas Stouls
    Stage non pourvu et abandonné

2003-2004

  • Sujet de stage pour étudiant en Master (1 ou 2) d'informatique : html.
    Titre : Extension de l'outil GénéSyst
    Encadrants : Didier Bert, Nicolas Stouls
    Étudiant(e) accueilli(e) : Hounayda MOHAMED
  • Sujet de stage pour étudiant en ENSIMAG 2ème année : html.
    Titre : Development of the tool GeneSyst in order to take into account security properties
    Encadrants : Marie-Laure Potet, Nicolas Stouls
    Étudiant(e) accueilli(e) : Evelyne ALTARIBA
  • Sujet de stage pour étudiant en Master 1 d'informatique : html.
    Titre : Vérification et optimisation de l'outil GénéSyst
    Encadrants : Didier Bert, Nicolas Stouls
    Étudiant(e) accueilli(e) : Xavier MORSELLI

Retour au plan