Research stage

Stage: Formal modeling and quantitative analysis of security using attack- defense trees

École Nationale Supérieure d'Ingénieurs de Constructions Aéronautiques, 2020

ongue diam id ornare imperdiet sapien urna pretium nisl ut volutpat sapien arcu sed augue aliquam erat volutpat in congue etiam justo etiam pretium iaculis justo in hac habitasse platea dictumst etiam faucibus cursus urna ut tellus