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
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 - 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
Keywords : Cybersecurity Information security Computer security
Document type :
Books
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download
https://hal.inria.fr/hal-01993308
Contributor : Guillaume Piolle <>
Submitted on : Thursday, January 24, 2019 - 7:35:25 PM
Last modification on : Friday, December 20, 2019 - 1:39:43 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

CNRS | UNIV-LORRAINE | LORIA | LORIA-FM | CENTRALESUPELEC | IRISA | INSA-LYON | INRIA | SUP_CIDRE | INSA-GROUPE | UNIV-RENNES1 | UR1-UFR-ISTIC | UNIV-RENNES | UDL | PSL

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

Share

Metrics

Record views

558

Files downloads

4282

 

 

Contact

archive-ouverte@inria.fr