Aurore | Thèses de doctorat > Par directeur de thèse

Recherche en cours

Par directeur de thèse = Lanet Jean-Louis

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

Validation des spécifications formelles de la mise à jour dynamique des applications Java Card

2018

Lounas Razika

XLIM

Informatique

La mise à jour dynamique des programmes consiste en la modification de ceux-ci sans en arrêter l'exécution. Cette caractéristique est primordiale pour les applications critiques en continuelles évolutions et nécessitant une haute disponibilité. Le but de notre travail est d'effectuer la vérification ...

http://aurore.unilim.fr/theses/nxfile/default/463b4861-96a7-47d5-9dcd-22422b9d944e/blobholder:0/2018LIMO0085.pdf
https://tel.archives-ouvertes.fr/tel-01977915 Attention, le lien semble brisé

Security of micro-controllers : From smart cards to mobile devices

2016

Razafindralambo Tiana

XLIM

Sciences de l'ingénieur

Afin de pouvoir profiter de services sécurisés, efficaces et rapides (ex: paiement mobile, agenda, télécommunications, vidéos, jeux, etc.), de nos jours nos téléphones embarquent trois différents microcontrôleurs. Du plus sécurisé vers le plus générique nous avons, la carte SIM qui n’est autre qu’un ...

Cette thèse est consultable en 2 versions :

une version intégrale (accés réservée à la communauté universitaire de Limoges) [*_arch.pdf]
une version librement acessible dont certains éléments ont été retirés par respect de la propriété intellectuelle des ayants droit [*_diff.pdf]

Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card

2016

Savary Aymerick

XLIM

Informatique

La vérification de la résistance aux attaques des implémentations embarquées des vérifieurs de code intermédiaire Java Card est une tâche complexe. Les méthodes actuelles n'étant pas suffisamment efficaces, seule la génération de tests manuelle est possible. Pour automatiser ce processus, nous propo ...

http://aurore.unilim.fr/theses/nxfile/default/e6f6e232-573e-4970-bbfa-8cd1e8be84b3/blobholder:0/2016LIMO0048.pdf
https://tel.archives-ouvertes.fr/tel-01369017 Attention, le lien semble brisé

A Generic Approach for Protecting Java Card™ Smart Card Against Software Attacks

2014

Bouffard Guillaume

XLIM

Informatique

De nos jours, la carte à puce est la pierre angulaire de nos usages quotidiens. En effet, elle est indispensable pour retirer de l'argent, voyager, téléphoner, ... Pour améliorer la sécurité tout en bénéficiant d'un environnement de développement facilité, la technologie Java a été adaptée pour être ...

http://aurore.unilim.fr/theses/nxfile/default/04614f00-aa9e-46ea-9ade-297ecf998215/blobholder:0/2014LIMO0007.pdf
https://tel.archives-ouvertes.fr/tel-01089654 Attention, le lien semble brisé

Sécurité des cartes à puce à serveur Web embarqué

2012

Kamel Nassima

XLIM

Informatique

Les cartes à puces sont des dispositifs sécurisés, de plus en plus utilisés dans le monde. Leur succès est principalement dû à leur aspect tamper-resistant qui permet de stocker des informations sensibles (clés de chiffrement) de manière sécurisée. Vu les nombreux sensibles domaines d'utilisation de ...

http://aurore.unilim.fr/theses/nxfile/default/9dc553cd-e9df-4530-a716-d3191d68dfa0/blobholder:0/2012LIMO4039.pdf

Mise à jour dynamique pour cartes à puce Java

2011

Noubissi Agnès Cristèle

XLIM

Informatique

Contrairement à la mise à jour traditionnelle, la mise à jour dynamique est la capacité de pouvoir modifier un système logiciel ou une application durant son exécution sans interruption de ce dernier et sans perte de l'état d'exécution du système. L'objectif est de permettre aux développeurs de pouv ...

http://aurore.unilim.fr/theses/nxfile/default/c0b26c8b-e613-44f6-9fac-ea8efb1aa88a/blobholder:0/2011LIMO4025.pdf

Tissage de contremesures pour machines virtuelles embarquées

2010

Séré Ahmadou Al Khary

XLIM

Informatique

Les cartes à puces sont de petits ordinateurs pouvant être transportés dans nos activités quotidiennes et qui bénéficient de capacités de calcul et de fonctions de sécurité (algorithmes cryptographiques). Elles sont utilisées dans divers domaines tels que la banque (carte de crédit ou de débit), les ...

http://aurore.unilim.fr/theses/nxfile/default/ec9d960e-5234-4fd7-a38f-bd8107443f05/blobholder:0/2010LIMO4017.pdf