Home
>
Topics
>
PACS
Partners
Current Collaborations
Academic partners
CEA Saclay
:
TAVA
LCIS Valence
:
CLAM
TIMA, Grenoble, France
:
CLAM
Industrial partners
Amossys
:
TAVA
Past Collaborations
Past Academic partners
CEA/LETI, Grenoble, France
:
ARAMIS
,
BINSEC
GIPSA-Lab
:
SACADE
LIG/Vasco
:
SACADE
LORIA
:
BINSEC
Past Industrial Partners
Atos Origin
:
ARAMIS
EADS/Innovation Works (France)
:
BINSEC
STMicroelectronics/Grenoble
:
Thèse CIFRE : Cybersecurity - Fault injection attacks
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
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
Contact
|
Site Map
|
Site powered by SPIP 3.2.19
+
AHUNTSIC
[CC License]
info visites
2086499
English
Français