Accueil
>
Axes
>
Axes
Axes
Ressources partagées
Publications
Projets
Outils
Emplois et stages
Membres
Partenaires
ETiCS
Thèmes de recherche
Le numérique peut-il aider à réduire nos impacts environnementaux ?
Le numérique comme outil de modélisation pour l’environnement
Un numérique frugal
Publications
Projets
Membres
Partenaires
Formal Proofs
Projets
Outils
Emplois et stages
Publications
Membres
Partenaires
PACS
Publications
Projets
Outils
Emplois et stages
Membres
Partenaires
MOHYTOS
Projets
Outils
Publications
Emplois et stages
Membres
Partenaires
FETLAS
Publications
Projets
Emplois et stages
Membres
Partenaires
Actualités
Séminaires
Séminaires
13 juin 2025
Selma Saidi:
Connected minds: leveraging collective reasoning for autonomous systems
26 juin 2025
Nikolaus Huber:
Mimosa: a language design for modern embedded systems
Nouvelles publications
Quelques Publications Récentes
Akram Idani, Yves Ledru, German Vega:
Formal model-driven security combining B-method and process algebra: The B4MSecure platform
Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet:
Formally Verified Hardening of C Programs against Hardware Fault Injection
Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne:
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
David Monniaux, Sylvain Boulmé:
Chamois: agile development of CompCert extensions for optimization and security
Offres d'emploi et stages
Offres d'emploi et stages
[Professeur] Université Grenoble Alpes
[Funded PhD] Fault Injection Attacks : Automated Analysis of Counter-Measures At The Binary Level
[Master]Leakage in presence of an active and adaptive adversary
[PostDoc] Implementation of critical applications on multi-core : execution mode analysis to reduce interferences
Navigation
Rubriques
Verimag
Axes
Ressources partagées
ETiCS
Formal Proofs
PACS
MOHYTOS
FETLAS
Contact
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.4.2
+
AHUNTSIC
[CC License]
info visites
4602961
English
Français