Skip to Main content
Number of documents

2

CV Sophie Pinchinat


This is attempt of a CV synthesis from HAL information.


Didier Vojtisek   

Conference papers2 documents

  • Sophie Pinchinat, Mathieu Acher, Didier Vojtisek. ATSyRa: An Integrated Environment for Synthesizing Attack Trees . Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Jul 2015, Verona, Italy. ⟨hal-01243021⟩
  • Sophie Pinchinat, Mathieu Acher, Didier Vojtisek. Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis. Workshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France. ⟨hal-01064645⟩