Cybersecurity: Current challenges and Inria's research directions

Steve Kremer 1 Ludovic Mé 2 Didier Rémy 3 Vincent Roca 4
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 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 : Computer security Information security Cybersecurity
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, September 13, 2019 - 9:51:33 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

INRIA-ROCQ | UNIV-LORRAINE | LORIA | LORIA-FM | CENTRALESUPELEC | IRISA | INSA-LYON | INRIA | SUP_CIDRE | INSA-GROUPE | UNIV-RENNES1 | UR1-UFR-ISTIC | UNIV-RENNES | UNIV-PARIS-SACLAY

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

424

Files downloads

2143

Contact


archive-ouverte@inria.fr