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

https://hal.inria.fr/hal-01645403
Contributor : Jean-Louis Lanet <>
Submitted on : Thursday, November 23, 2017 - 8:35:29 AM
Last modification on : Thursday, January 7, 2021 - 4:34:53 PM

Identifiers

  • HAL Id : hal-01645403, version 1

Citation

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⟩

Share

Metrics

Record views

209