COGITO: Génération de code au runtime pour la sécurité des systèmes embarqué

Damien Couroussé; Jean-Louis Lanet; Bruno Robisson; Thierno Barry; Philippe Jaillon

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

COGITO: Génération de code au runtime pour la sécurité des systèmes embarqué

Damien Couroussé ¹ Jean-Louis Lanet ² Bruno Robisson ^{1, 3} Thierno Barry ^{1, 3} Philippe Jaillon ⁴

1 CEA-TECH-Reg - CEA Tech en régions

2 TAMIS - Threat Analysis and Mitigation for Information Security

Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

3 SAS-ENSMSE - Département Systèmes et Architectures Sécurisés

4 ISCOD-ENSMSE - Département Informatique pour les Systèmes Coopératifs Ouverts et Décentralisés

Damien Couroussé ¹ AuthorId : 451155

Author IdHAL : damien-courousse

Jean-Louis Lanet ² AuthorId : 1266697

Author

Bruno Robisson ^{1, 3} AuthorId : 472503

Author IdHAL : bruno-robisson

Thierno Barry ^{1, 3} AuthorId : 1388544

Author IdHAL : thiernobarry

Philippe Jaillon ⁴ AuthorId : 615735

Author

1 CEA-TECH-Reg - CEA Tech en régions (CEA Grenoble 17 rue des Martyrs 38054 Grenoble Cedex 9 - France) StructId : 255534

DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT (France) StructId : 440043
- CEA - Commissariat à l'énergie atomique et aux énergies alternatives : DRT (Centre de Saclay Centre de Grenoble Centre de Cadarache etc - France) StructId : 300016

2 TAMIS - Threat Analysis and Mitigation for Information Security (Campus de Beaulieu 35042 Rennes cedex - France) StructId : 444746

Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France) StructId : 419365
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 105128
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France) StructId : 301262
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569

3 SAS-ENSMSE - Département Systèmes et Architectures Sécurisés (880, route de Mimet 13541 GARDANNE - FRANCE - France) StructId : 3124

Mines Saint-Étienne MSE - École des Mines de Saint-Étienne (158, Cours Fauriel - 42023 Saint Étienne cedex 2 - France) StructId : 29212
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102
CMP-GC (France) StructId : 300642

4 ISCOD-ENSMSE - Département Informatique pour les Systèmes Coopératifs Ouverts et Décentralisés (158 cours Fauriel 42023 Saint-Etienne Cedex 2 - France) StructId : 174087

Mines Saint-Étienne MSE - École des Mines de Saint-Étienne (158, Cours Fauriel - 42023 Saint Étienne cedex 2 - France) StructId : 29212
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102
Institut Henri Fayol (France) StructId : 344044

Document type :

Conference papers

Domain :

Computer Science [cs] / Cryptography and Security [cs.CR]

Computer Science [cs] / Embedded Systems

Complete list of metadatas

https://hal.inria.fr/hal-01405776
Contributor : Jean-Louis Lanet <>
Submitted on : Wednesday, November 30, 2016 - 2:11:11 PM
Last modification on : Thursday, October 17, 2019 - 12:36:11 PM

Identifiers

HAL Id : hal-01405776, version 1

Collections

Citation

Damien Couroussé, Jean-Louis Lanet, Bruno Robisson, Thierno Barry, Philippe Jaillon. COGITO: Génération de code au runtime pour la sécurité des systèmes embarqué. Ressi 2016, May 2016, Toulouse, France. ⟨hal-01405776⟩

COGITO: Génération de code au runtime pour la sécurité des systèmes embarqué

Identifiers

Collections

Citation

Export

Metrics

437

Contact

COGITO: Génération de code au runtime pour la sécurité des systèmes embarqué

Identifiers

Collections

Citation

Export

Share

Metrics

437

Contact