Skip to Main content Skip to Navigation
Conference papers

Symbolic analysis of terrorist fraud resistance

Document type :
Conference papers
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download

https://hal.inria.fr/hal-02171218
Contributor : Alexandre Debant <>
Submitted on : Wednesday, July 10, 2019 - 9:26:24 AM
Last modification on : Thursday, November 5, 2020 - 10:40:03 PM

Identifiers

  • HAL Id : hal-02171218, version 1

Citation

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

Share

Metrics

Record views

100

Files downloads

615