Projets

Nouvelles publications

• Quelques Publications Récentes (Pacs)
  • Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-sensitive Information flow analysis
  • Etienne Boespflug, Cristian Ene, Laurent Mounier, Marie-Laure Potet: Countermeasures Optimization in Multiple Fault-Injection Context
  • Vincent Werner, Laurent Maingault, Marie-Laure Potet: An End-to-End Approach for Multi-Fault Attack Vulnerability Assessment

Offres d'emploi et stages

• Offres d'emploi et stages (Pacs)
  • PhD position : software vulnerability analysis guided by countermeasures and attacker capabilities
  • [M2 Internship] Leakage in presence of an active and adaptive adversary
  • [M2 Internship] Security counter-measures in a certified optimizing compiler
  • [M2R Internship] Analyse et Evaluation d’implémentations sécurisées robustes à l’injection de fautes

Rubriques

• Verimag
• Axes
  • Ressources partagées
  • ETiCS
  • Formal Proofs
  • PACS
    • Membres
    • Partenaires
    • Publications
    • Projets
    • Outils
    • Emplois et stages
  • MOHYTOS
  • FETLAS
• Contact
• Plan du site

---

• Acces au Batiment