Home
>
Topics
>
PACS
>
Projects
>
Projects
Projects
Projets of the Pacs Line
Current Projects
Supported by National Programs
CLAM
- Labex-Persyval 2021-2024
Cross-Layer Fault Analysis for Microprocessor Architectures
TAVA
- ANR 2021 - 2024
Toward Automated Vulnerability Analyses
Past Projects
ARAMIS
- PIA 2014-2018
BINSEC
- ANR 2013-2017
SACADE
- ANR 2017 - 2019
SECURIOT-2
- 2018-2020
SERTIF
- ANR ASTRID 2014-2016
The whole Verimag Projects page
New publications
Some Recent Publications (Pacs)
Jobs and internships
Jobs and internships (Pacs)
Measures against speculative attacks in a certified optimizing compiler
Security counter-measures in a certified optimizing compiler
Browsing
Sections
Verimag
Topics
Shared Resources
ETiCS
Formal Proofs
PACS
Members
Partners
Publications
Projects
Tools
Ongoing Phd Thesis
Jobs and Internships
MOHYTOS
FETLAS
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.2.19
+
AHUNTSIC
[CC License]
info visites
2089225
English
Français