Symbolic analysis of terrorist fraud resistance - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Symbolic analysis of terrorist fraud resistance

Fichier principal
Vignette du fichier
main.pdf (462.85 Ko) Télécharger le fichier
casestudies.zip (67.57 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02171218 , version 1 (10-07-2019)

Identifiers

  • HAL Id : hal-02171218 , version 1

Cite

Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling. Symbolic analysis of terrorist fraud resistance. Computer Security - {ESORICS} 2019 - 24th European Symposium on Research in Computer Security, Sep 2019, Luxembourg, Luxembourg. ⟨hal-02171218⟩
61 View
238 Download

Share

Gmail Facebook Twitter LinkedIn More