diff --git a/index.html b/index.html index 42088ab..59b3fb8 100644 --- a/index.html +++ b/index.html @@ -180,7 +180,7 @@
Quentin Rouland, Brahim Hamid, Jason Jaskolka. A model-driven formal methods approach to software architectural security vulnerabilities specification and verification. - Journal of Systems Architecture (JSA), 2021. + Journal of Systems and Software (JSS), 2025.
Quentin Rouland, Brahim Hamid, Jason Jaskolka. Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support. @@ -294,18 +294,22 @@
Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo. Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy (accepted). - 17th International Symposium on Foundations & Practice of Security (QRS), Montreal, Canada, 2024. + 17th International Symposium on Foundations & Practice of Security (FPS), Montreal, Canada, 2024.
Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo. Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy (accepted). 19th International Conference on Risks and Security of Internet and Systems (CRiSIS), Aix-En-Provence, France, 2024.
++ Luke Newton, Jason Jaskolka, Quentin Rouland, Brahim Hamid. Data-Driven Approximation of Formal Implicit Interaction Analysis for Cyber-Physical System Designs. + Resilience Week (RWS), Austin, United States, 2024. +
Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka. A Security Compliance-by-Design Framework Utilizing Reusable Formal Model. 23rd IEE International Conference on Software Quality, Reliability, and Security Companion (QRS), Chiang Mai, Thailand, 2023. @@ -347,7 +351,7 @@