placeholder image

Catta, Davide

Person

Positions

, Laboratoire Traitement et Communication de l’Information

selected publications

conference paper
- Towards a Formal Verification of Attack Graphs. . 2022

full name

Davide Catta

Publications in VIVO

Co-author Network