diff --git a/index.html b/index.html index 5ab93e7..90e1464 100644 --- a/index.html +++ b/index.html @@ -287,6 +287,10 @@

+

+ Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka. Formalizing the Relationship between Security Policies and Objectives in Software Architectures. + 20th IEEE International Conference on Software Architecture Companion (ICSA), L'Aquila, Italy, 2023. +

Quentin Rouland, Brahim Hamid, Jason Jaskolka. Reusable Formal Models for Threat Specification, Detection, and Treatment.
19th International Conference on Software and Systems Reuse (ICSR), Hammamet, Tunisia, 2020.