Symbolic analysis of terrorist fraud resistance - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Symbolic analysis of terrorist fraud resistance

(1, 2, 3) , (1, 2, 3) , (4)
1
2
3
4
Fichier principal
Vignette du fichier
main.pdf (462.85 Ko) Télécharger le fichier
Vignette du fichier
casestudies.zip (67.57 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02171218 , version 1

Citer

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⟩
56 Consultations
213 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More