Skip to Main content Skip to Navigation
Conference papers

Formal Methods and the Dark Side of the Force

Jean-Louis Lanet 1 
1 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Complete list of metadata
Contributor : Jean-Louis Lanet Connect in order to contact the contributor
Submitted on : Thursday, November 23, 2017 - 8:35:29 AM
Last modification on : Monday, April 4, 2022 - 9:28:22 AM


  • HAL Id : hal-01645403, version 1


Jean-Louis Lanet. Formal Methods and the Dark Side of the Force. Journée Approches Formelles des Systèmes Embarqués Communicants, Jun 2017, Paris, France. ⟨hal-01645403⟩



Record views