- 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.
+ 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.
- Quentin Rouland, Brahim Hamid, Jason Jaskolka. Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support.
- Journal of Systems Architecture (JSA), 2021.
+ Quentin Rouland, Brahim Hamid, Jason Jaskolka. Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support.
+ Journal of Systems Architecture (JSA), 2021.
- Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture.
- Future Generation Computer Systems (FGCS), 2020.
+ Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture.
+ Future Generation Computer Systems (FGCS), 2020.
- 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.
+ 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.
- 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.
+ 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.
- 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.
+ 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.
- James Baak, Quentin Rouland, Jason Jaskolka. A Formal Metamodel for Software Architectures with Composite Components..
- 12th International Conference on Model and Data Engineering (MEDI), Sousse, Tunisia, 2023.
+ James Baak, Quentin Rouland, Jason Jaskolka. A Formal Metamodel for Software Architectures with Composite Components..
+ 12th International Conference on Model and Data Engineering (MEDI), Sousse, Tunisia, 2023.
- Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka. Eliciting a Security Architecture Requirements Baseline from Standards and Regulations.
- 10th IEEE International Workshop on Evolving Security & Privacy Requirements Engineering (ESPRE), Hannover, Germany, 2023.
+ Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka. Eliciting a Security Architecture Requirements Baseline from Standards and Regulations.
+ 10th IEEE International Workshop on Evolving Security & Privacy Requirements Engineering (ESPRE), Hannover, Germany, 2023.
- 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, 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.
+ 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.
- Brahim Hamid, Quentin Rouland, Jason Jaskolka. Distributed Maintenance of a Spanning Tree of K-Connected Graphs.
- 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Kyoto, Japan, 2019.
+ Brahim Hamid, Quentin Rouland, Jason Jaskolka. Distributed Maintenance of a Spanning Tree of K-Connected Graphs.
+ 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Kyoto, Japan, 2019.
- Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali. A Formal Methods Approach to Security Requirements Specification and Verification.
- 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019.
+ Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali. A Formal Methods Approach to Security Requirements Specification and Verification.
+ 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019.
- Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formalizing Reusable Communication Models for Distributed Systems Architecture.
- 8th International Conference on Model and Data Engineering (MEDI), Marrakesh, Morocco, 2018.
+ Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formalizing Reusable Communication Models for Distributed Systems Architecture.
+ 8th International Conference on Model and Data Engineering (MEDI), Marrakesh, Morocco, 2018.
- Quentin Rouland. Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support.
- PhD Thesis, Université Toulouse 3 Paul Sabatier, 2021.
+ Quentin Rouland. Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support.
+ PhD Thesis, Université Toulouse 3 Paul Sabatier, 2021.