Xlim - institut de recherche
Bienvenue ::
Recherche ::
DMI ::
Thèses
Département Mathématiques Informatique
Thèses
Thèses en cours ...
Caractérisation et optimisation de réseaux de proximité sans fil. Application à la réalisation de dispositif de transmission de données
Complexité de générateurs pseudo-aléatoires multidimensionnels
Utilisation de techniques d'imagerie de synthèse pour le calcul de la propagation des champs électromagnétiques
Détails Naturels : modélisation, simulation et visualisation de scènes naturelles complexes et réalistes, embarquant de nombreux détails
Des p-extensions à groupe de Galois libre des corps de nombres
Echanges Confidentiels et Anonymes dans les réseaux P2P
Limites projectives d'unités locales et corps de classes
Exploration intelligente des scènes 3D Géoréférées, à grande échelle et des mondes virtuels
Sécurité des serveurs web embarqués dans des cartes à puces.
Localisation 3D précise et intègre de véhicules en milieu urbain
Lancer de faisceaux dans l?espace de Plücker
Calcul de trajets d'usinage par optimisation
Simulation d'évolution topologique: cas de l'interaction fluide/solide
Développement de méthodes pour l'évaluation de la sécurité des
moniteurs de machines virtuelles pour système embarqué.
Analyse variationnelle : Theoremes de type fonctions implicites pour des multiapplications
Utilisation des codes correcteurs pour la sécurité et l'anonymat des étiquettes RFID
Modélisation et Visualisation de fleurs
Equations aux différences sur un domaine p-adique
JavaCard Reverse-engineering
Inéquations Variationnelles et Problèmes de Complémentarité: Théorie, Algorihmes et Applications.
Sécurité des véhicules à roues en milieu tout terrain
"Étude des attaques physiques applicables aux composants de sécurité embarqués et conception de contre-mesures associées. Modélisastion et simulation des fuites d'information et des chemins de perturbation de ces composants."
Comportement asymptotique pour certains problèmes d'évolution
"Image, matériaux, aspect : Génération de textures d'objets translucides"
“Sweeping process: existence results, numerical approximation and applications”
Cryptographie basée sur les réseaux
Photo-realistic 3D Modeling of Urban Planning Objects Using Intelligent Pattern Recognition Techniques
Stabilite des systemes dynamiques non-reguliers
Network coding
Décodage en liste
Photo-realistic 3D Modeling of Urban Planning Objects Using Intelligent Pattern Recognition Techniques.
« Etude des attaques actives et passives sur les implémentations de crypto-systèmes embarqués »
Utilisation des automates algébriques en cryptographie à clé secrète
Méthodes primales-duales pour l'optimisation semi-définie
Possibilités et conséquences des attaques laser contre la Machine Virtuelle Java Card.
Possibilities and issues of a laser beamer attack against the Java Card Vritual Machine
haut de page
XLIM - UMR CNRS n°7252 - 123, avenue Albert Thomas -
87060 LIMOGES CEDEX
Tél. +33(0) 555 45 77 22 -
Fax +33(0) 555 45 76 97 -
Courriel : info@xlim.fr
mentions légales