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
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
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, June 21, 2019 - 9:31:11 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

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⟩

Share

Metrics

Record views

375

Files downloads

1477