Accéder directement au contenu

Sophie Pinchinat

3
Documents

Présentation

This is attempt of a CV synthesis from HAL information.

Publications

962893

Beyond 2014: Formal Methods for Attack Tree-based Security Modeling

 Wojciech Wideł , Maxime Audinot , Barbara Fila , Sophie Pinchinat
ACM Computing Surveys, 2019, 52 (4), pp.1-36. ⟨10.1145/3331524⟩
Article dans une revue hal-02308427v1

Guided Design of Attack Trees: A System-Based Approach

 Maxime Audinot , Sophie Pinchinat , Barbara Kordy
CSF 2018 - IEEE 31st Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. pp.61-75, ⟨10.1109/CSF.2018.00012⟩
Communication dans un congrès hal-01871059v1
Image document

Is my attack tree correct?

 Maxime Audinot , Sophie Pinchinat , Barbara Kordy
ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Sep 2017, Oslo, Norway. pp.83-102, ⟨10.1007/978-3-319-66402-6_7⟩
Communication dans un congrès hal-01686505v1