Cybersecurity

Steve Kremer; Ludovic Mé; Didier Rémy; Vincent Roca

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

Books

Cybersecurity: Current challenges and Inria's research directions

Steve Kremer ¹ Ludovic Mé ² Didier Rémy ^{3, 4} Vincent Roca ⁵

1 PESTO - Proof techniques for security protocols

Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods

2 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition

CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE

3 GALLIUM - Langages de programmation, types, compilation et preuves

Inria de Paris

4 CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme

CdF (institution) - Collège de France, Inria de Paris

5 PRIVATICS - Privacy Models, Architectures and Tools for the Information Society

Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services

Steve Kremer ¹ AuthorId : 651222
Author IdHAL : steve-kremer

Ludovic Mé ² AuthorId : 177423
Author IdHAL : lme

Didier Rémy ^{3, 4} AuthorId : 669257
Author

Vincent Roca ⁵ AuthorId : 753929
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : vincent-roca

1 PESTO - Proof techniques for security protocols (France) StructId : 445522

Inria Nancy - Grand Est (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France) StructId : 129671
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
LORIA - FM - Department of Formal Methods (France) StructId : 423084
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France) StructId : 206040
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France) StructId : 413289
  - CNRS - Centre National de la Recherche Scientifique : UMR7503 (France) StructId : 441569

2 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition (France) StructId : 490909

CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
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-D1 - SYSTÈMES LARGE ÉCHELLE (France) StructId : 490900
- 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 : 490899
  - 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
  - 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
  - IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France) StructId : 481355
    - IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102

3 GALLIUM - Langages de programmation, types, compilation et preuves (France) StructId : 454413

Inria de Paris (2 rue Simone Iff - CS 42112 - 75589 Paris Cedex 12 - France) StructId : 454310
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009

4 CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme (France) StructId : 568599

CdF (institution) - Collège de France (France) StructId : 300026
Inria de Paris (2 rue Simone Iff - CS 42112 - 75589 Paris Cedex 12 - France) StructId : 454310
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009

5 PRIVATICS - Privacy Models, Architectures and Tools for the Information Society (Centre de Recherche Inria 655, avenue de l'Europe 38334 Saint Ismier Cedex - France) StructId : 206120

Inria Grenoble - Rhône-Alpes (Inovallée 655 avenue de l'Europe 38330 Montbonnot - France) StructId : 2497
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
CITI - CITI Centre of Innovation in Telecommunications and Integration of services (CITI Laboratory, INSA Lyon Domaine Scientifique de la Doua Batiment Claude Chappe 6 avenue des Arts 69621 Villeurbanne Cedex Phone +33 4 7243 6415 Fax +33 4 7243 6227 E-Mail citi@insa-lyon.fr - France) StructId : 203831
- INSA Lyon - Institut National des Sciences Appliquées de Lyon (20 Avenue Albert Einstein, 69621 Villeurbanne cedex - France) StructId : 219748
  - Université de Lyon (92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 - France) StructId : 301088
  - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009

Keywords : Cybersecurity Information security Computer security

Document type :

Books

Domain :

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

Complete list of metadata

Cited literature [11 references] Display Hide Download

https://hal.inria.fr/hal-01993308
Contributor : Guillaume Piolle Connect in order to contact the contributor
Submitted on : Thursday, January 24, 2019 - 7:35:25 PM
Last modification on : Friday, January 21, 2022 - 3:14:42 AM
Long-term archiving on: : Thursday, April 25, 2019 - 3:27:36 PM

File

Livre blanc Cybersécurité In...

Explicit agreement for this submission

Identifiers

HAL Id : hal-01993308, version 1

Collections

Relations

has version hal-02414281

Citation

Steve Kremer, Ludovic Mé, Didier Rémy, Vincent Roca. Cybersecurity: Current challenges and Inria's research directions. Inria, pp.172, 2019, Inria white book. ⟨hal-01993308⟩

Export

BibTeX TEI DC DCterms EndNote

Metrics

Les métriques sont temporairement indisponibles