Accéder directement au contenu

Sophie Pinchinat

2
Documents

Présentation

This is attempt of a CV synthesis from HAL information.

Publications

mathieu-acher
didier-vojtisek
Image document

ATSyRa: An Integrated Environment for Synthesizing Attack Trees

Sophie Pinchinat , Mathieu Acher , Didier Vojtisek
Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Jul 2015, Verona, Italy
Communication dans un congrès hal-01243021v1
Image document

Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis

 Sophie Pinchinat , Mathieu Acher , Didier Vojtisek
Workshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France
Communication dans un congrès hal-01064645v1