Projects
Projects
Research and development projects I have participated in.
2024 - 2027
TAPAS
Principal Investigator
Trustworthy Automated Protocol Analysis for Security. Developing advanced formal methods tools for automated verification of security protocols in distributed systems.
ANR (French National Research Agency)Learn More
2023 - 2026
Scaling Up Variability
Co-Investigator
Addressing the challenge of variability in large-scale software systems through formal modeling and analysis techniques.
EU Horizon EuropeLearn More
2020 - 2023
SecureIoT
Researcher
Security analysis and verification for Internet of Things devices and protocols. Developed novel techniques for detecting vulnerabilities in constrained environments.
Belgian Science Foundation