Propositions de stages (2009-2010)
- Approche formelle pour le développement de services système dans les systèmes embarqués : du modèle à l'implantation
- encadrant : Karine Altisen & Christophe Rippert
- durée : 2 à 3 mois
- lieu : laboratoire VERIMAG, Grenoble
- Complexité Certifiée
- encadrant : Roberto Amadio
- durée : 2 à 3 mois
- lieu : laboratoire PPS, Paris
- Practical Cryptanalysis of Pseudo-Random Number Generators in RFID
- RFID Toolbox Reloaded
- Reducing RFID-Readers Load
- TTIFA: Time-memory Trade-off Implementation First Aider
- Decoding Information Obtained from a Chip
- Passport Torturer
- Un éditeur de grammaires attribuées modulaires
- encadrant : Éric Badouel
- durée : 3 mois
- lieu : laboratoire IRISA, Rennes
- Représentation des objets physiques couplés sur une structure d’arbre projetée une mémoire physique discontinue et de taille limitée
- encadrant : Michel Banâtre & Fabien Allard
- durée : 3 mois
- lieu : laboratoire INRIA ACES, Rennes
- Attack-preserving Program Transformations
- encadrant : Karthikeyan Bhargavan
- durée : 2 ou 3 mois
- lieu : laboratoire INRIA SEC, Orsay
- Type-Based Cryptographic Verification for TLS 1.0
- encadrant : Karthikeyan Bhargavan, Cédric Fournet & Nataliya Guts
- durée : 2 ou 3 mois
- lieu : laboratoire INRIA SEC, Orsay
- Certification of program termination
- encadrant : Frédéric Blanqui
- durée : 2 ou 3 mois
- lieu : Tsinghua University, Beijing, Chine
- Un modèle de distribution spatiale des réseaux sociaux
- encadrant : Vincent Blondel
- durée : 2 ou 3 mois
- lieu : UCL INMA, Louvain-La-Neuve, Belgique
- Preuves de terminaison pour les systèmes à compteurs
- encadrants : Marius Bozga & Radu Iosif
- durée : 2 ou 3 mois
- lieu : laboratoire VERIMAG, Grenoble
- Analyses de systèmes hybrides
- encadrants : Laurent Fribourg & Étienne André
- durée : 2 ou 3 mois
- lieu : laboratoire LSV, Cachan
- Gabor noise
- encadrant : Ares Lagae & George Drettakis
- durée : 3 mois
- lieu : laboratoire INRIA REVES, Sophia-Antipolis
- Algorithmes de calculs de couplage sur les courbes elliptiques
pour la cryptographie
- encadrant : Fabien Laguillaumie
- durée : 3 mois
- lieu : laboratoire GREYC, Caen
- SAT et cryptanalyse
- encadrant : Fabien Laguillaumie & Arnaud Lallouet
- durée : 3 mois
- lieu : laboratoire GREYC, Caen
- Phénomènes de diffusion sur les grands réseaux : mesure et analyse pour la modélisation
- encadrant : Matthieu Latapy & Bénédicte Le Grand
- durée : 2 à 3 mois
- lieu : laboratoire LIP6, Paris
- Un radar pour l’Internet
- encadrant : Matthieu Latapy, Clémence Magnien et Christophe Crespelle
- durée : 2 à 3 mois
- lieu : laboratoire LIP6, Paris
- Comment faire des preuves exactes sur des polynômes à
l'aide de calculs en flottants
- Éliminons (efficacement) les quantificateurs
- Découper un programmer pour mieux l’analyser
- encadrant : David Monniaux
- durée : 2 ou 3 mois
- lieu : laboratoire VERIMAG, Grenoble
- Routing in Quasi-Deterministic Delay Tolerant Networks
- encadrant : Giovanni Neglia & Utku Acer
- durée : 2 ou 3 mois
- lieu : laboratoire INRIA MAESTRO, Sophia Antipolis
- Persistence of features for robust image matching
- encadrants : Frank Nielsen & Sylvain Boltz
- durée : 2 à 3 mois
- lieu : laboratoire LIX, Palaiseau
- Géométrie post-Euclidienne pour les moteurs de recherche multimédia
- encadrant : Frank Nielsen & Olivier Schwander
- durée : 2 à 3 mois
- lieu : laboratoire LIX, Palaiseau
- Génération de Maillages en Parallèle sur Architecture Multi-Coeurs
- encadrant : Sylvain Pion & Mariette Yvinec
- durée : 2 ou 3 mois
- lieu : laboratoire INRIA GEOMETRICA, Sophia Antipolis
- Complétude de la logique intuitionniste par rapport aux faisceaux de modèles
- encadrant : Christian Retoré & Jean Gillibert
- durée : 2 ou 3 mois
- lieu : laboratoire LABRI, Bordeaux
- Analysis and Comparison of Parameter Tuning for Local Search Algorithms
- encadrant : Charlotte Truchet & Frédéric Saubion
- durée : 3 mois
- lieu : Université de Nantes (LINA) ou d'Angers (LERIA)
- Vérification Automatique de Services Composés
- encadrant : Mathieu Turuani & Michael Rusinowitch
- durée : 2 à 3 mois
- lieu : laboratoire LORIA, Nancy
top