Stages et thèses
Thèses
Septembre 2020- Aout 2023
Camille MORIOT
Titre : Méthodologie de caractérisation socio-organisationnelle des adresses IPs appliquée à la sécurité
Encadrants académiques : François Lesueur, Nicolas Stouls, Fabrice Valois (HDR) et Marie-Pierre Escudié́
Financement : Bourse INSA enjeu "Information et Société Numérique"
Devenir : Thèse soutenue le 24 Septembre 2024
Février 2019 - Décembre 2022
Safuriyawu AHMED
Titre : Resilient IoT-based monitoring system for the nigerian oil and gas industry
Encadrants académiques : Nicolas Stouls et Frédéric Le-Mouël (HDR)
Financement : Bourse PTDF (Petroleum Technology Development Fund)
Devenir : Thèse soutenue le 16 Décembre 2022
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)
Devenir : Associate professor à Ningbo Polytechnic
Stages
2019-2020
- Sujet de stage pour étudiant en IST Semester : .
Titre : Publish/Subscribe in BitTorrent: An Analysis of a Potential BEP50 Implementation
Encadrants : Nicolas Stouls, Oscar Carrillo
Étudiant(e) accueilli(e) : Nathan Scott Jobe
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
