Compositional Security Verification and Assurance
Libre Space Foundation
Libre Space Foundation participates in research and innovation actions focused on compositional security verification and assurance for open-source systems.
About this service
The Libre Space Foundation is involved in the REWIRE Research and Innovation Action, a project funded by the European Commission under the Horizon Europe Programme. This initiative aims to develop a holistic framework for continuous security assessment of open-source and complex systems. The project spans from October 2022 to September 2025, focusing on advanced security verification techniques.
