| HAL-Inria | Publications, software ... of Inria's scientists |
Books
Cybersecurity: Current challenges and Inria's research directions
Steve Kremer
1
Ludovic Mé
2
Didier Rémy
3, 4
Vincent Roca
5
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
4
CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme
CdF - 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 1
Mail :
Author IdHAL : steve-kremer
Ludovic Mé 2
Mail :
Author IdHAL : lme
Didier Rémy 3, 4
Mail : Site :
Author
Vincent Roca 5
Mail : Site :
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : vincent-roca
1
PESTO - Proof techniques for security protocols (France)
- Inria Nancy - Grand Est (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- LORIA - FM - Department of Formal Methods (France)
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7503 (France)
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France)
2
CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition (France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- IRISA-D1 - SYSTÈMES LARGE ÉCHELLE (France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- 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)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
3
GALLIUM - Langages de programmation, types, compilation et preuves (France)
- Inria de Paris (2 rue Simone Iff -
CS 42112 -
75589 Paris Cedex 12 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
4
CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme (France)
- CdF - Collège de France (France)
- Inria de Paris (2 rue Simone Iff -
CS 42112 -
75589 Paris Cedex 12 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
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)
- Inria Grenoble - Rhône-Alpes (Inovallée
655 avenue de l'Europe
38330 Montbonnot - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- 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)
- INSA Lyon - Institut National des Sciences Appliquées de Lyon (20 Avenue Albert Einstein,
69621 Villeurbanne cedex - France)
- Université de Lyon (92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 - France)
- INSA - Institut National des Sciences Appliquées (France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- INSA Lyon - Institut National des Sciences Appliquées de Lyon (20 Avenue Albert Einstein,
69621 Villeurbanne cedex - France)
Document type :
Books
Complete list of metadatas
https://hal.inria.fr/hal-01993308
Contributor : Guillaume Piolle <>
Submitted on : Thursday, January 24, 2019 - 7:35:25 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:47 PM
Document(s) archivé(s) le : Thursday, April 25, 2019 - 3:27:36 PM
Contributor : Guillaume Piolle <>
Submitted on : Thursday, January 24, 2019 - 7:35:25 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:47 PM
Document(s) archivé(s) le : 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
CNRS | UNIV-LORRAINE | LORIA | LORIA-FM | CENTRALESUPELEC | IRISA | INSA-LYON | INRIA | SUP_CIDRE | INSA-GROUPE | UNIV-RENNES1 | UR1-UFR-ISTIC | UNIV-RENNES | UDL | CDF | PSL
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⟩
Metrics
Record views
706
Files downloads