- 2
Sophie Pinchinat
2
Documents
Présentation
This is attempt of a CV synthesis from HAL information.
Publications
- 2
- 2
- 1
- 1
|
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
Communication dans un congrès
hal-01243021v1
|
|
Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk AnalysisWorkshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France
Communication dans un congrès
hal-01064645v1
|