Accueil
>
Axes
>
PACS
>
Projets
>
Projets
Projets
Les projets de l’axe Pacs
Projets en cours
Projets Nationaux
CLAM
- Labex-Persyval 2021-2024
Cross-Layer Fault Analysis for Microprocessor Architectures
TAVA
- ANR 2021 - 2024
Toward Automated Vulnerability Analyses
Projets Terminés
ARAMIS
- PIA 2014-2018
BINSEC
- ANR 2013-2017
SACADE
- ANR 2017 - 2019
SECURIOT-2
- 2018-2020
SERTIF
- ANR ASTRID 2014-2016
La page de tous les projets et contrats de Verimag
Nouvelles publications
Quelques Publications Récentes (Pacs)
Cristian Ene, Laurent Mounier, Marie-Laure Potet:
Output-sensitive Information flow analysis
Offres d'emploi et stages
Offres d'emploi et stages (Pacs)
Thèse CIFRE : Cybersecurity - Fault injection attacks
[master] automatic insertion of countermeasures in a verified compiler
Navigation
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
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.2.15
+
AHUNTSIC
[CC License]
info visites
1863387
English
Français