OSMOSE (Occitanie – Sensibilisation et MOntée en compétence en SEcurité)
2025–2030. AMI CMA call, France 2030. Workpackage Leader and Scientific Coordinator for UT2J.
France 2030
Toulouse Institute of Computer Science Research
Making digital technology trustworthy.
CyberCARDS: Cyber + Compliance, Anticipation, Resilience, Design, Sociotechnical.
- Compliance
- Anticipation
- Resilience
- Design
- Sociotechnical
We demonstrate the security of systems before they are attacked. From mathematical proof to software tool, our research protects networks, data, and the people who use them.
The name
What CyberCARDS stands for.
Cyber, seen through five lenses that we apply to every research question.
Compliance
Security that meets regulation, standards and governance requirements.
Anticipation
Foreseeing threats, risks and attacks before they materialize.
Resilience
Systems that keep working, and recover, when something goes wrong.
Design
Security built in from the start, not added at the end.
Sociotechnical
People, organizations and technology studied as one system.
Research Themes
Many perspectives, one standard: trust.
From mathematical foundations to real-world systems, each theme brings its own guarantees.
Assurance, Audit, and Certification
Independent evidence that systems meet their security claims: assurance cases, security audits, structured assessment methods, and certification processes for critical software and infrastructure.
Explore this themeHuman Aspects
The human side of security: social engineering, insider risk, socio-technical security, and how people perceive and interact with security mechanisms, so systems stay secure in practice, not just on paper.
Explore this themeLegal Aspects
The regulatory and societal dimensions of cybersecurity: analysis and design of cybersecurity regulation, support for cybercrime investigations, and the legal and societal issues raised by security policy.
Explore this themeSecurity Management and Governance
Risk, threat, and governance frameworks that keep organizations secure and resilient: risk and attack modeling (including adversarial machine learning), information security standards, incident and business-continuity governance, regulatory compliance, and the economics of cybersecurity.
Explore this themeSoftware and System Security Engineering
Building security into software and systems from the ground up: secure-by-design architectures, model-driven and formal specification of security properties, security design patterns, and rigorous validation across the full engineering lifecycle.
Explore this theme
Projects
Research in progress.
ICO fundings (Institut de Cybersécurité de l’Occitanie)
Several fundings under the ICO (Institut de Cybersécurité de l’Occitanie): PhD and scientific project.
Institut de Cybersécurité de l’Occitanie
CIFRE convention with Exail Aerospace
2025–2028. CIFRE convention with Exail Aerospace (PhD).
Exail Aerospace
The Lab in Numbers
A team, with results that check out.
Overview
Our research themes
- 01Assurance, Audit, and Certification
- 02Human Aspects
- 03Legal Aspects
- 04Security Management and Governance
- 05Software and System Security Engineering
Publications
0 publications · per year
Publications will appear here after the next HAL sync.
All PublicationsPeople
The people behind the research.
Open science
Tools and artifacts we share.
Artifacts
All artifactsTest
other
News
In the spotlight.
September 1, 2026
Yahia Zakaria Messaoudi starts a PhD on AI-enhanced MBSE for safety and security
On 1 September 2026, Yahia Zakaria Messaoudi started a PhD program under the supervision of Brahim Hamid and Asma Charfi Smaoui. The work is a continuous collaboration between IRIT and CEA. The research focuses particularly on an AI-Enhanced MBSE Framework for the Joint Analysis of Safety and Sec...
November 2, 2025
Loic Thierry successfully defends his PhD thesis
On 2 November 2025, Loic Thierry successfully defended his PhD thesis in the context of a co-tutelle with Carleton University (Canada), under the supervision of Brahim Hamid and Jason Jaskolka. The work is a continuous collaboration between IRIT and Carleton. The research focuses particularly on ...
March 1, 2025
Emery Lekien starts a CIFRE PhD with Exail Aerospace
On 1 March 2025, Emery Lekien started a PhD program in the context of a CIFRE program with Exail Aerospace, under the supervision of Brahim Hamid and Cecile Bazot. The work is a continuous collaboration between IRIT and Exail Aerospace. The research focuses particularly on Model-Based Security Co...
2 open positions
Let's build the security of tomorrow.
PhD students, postdocs, engineers, industry partners: join a team that turns proofs into real-world protection.