Periodic Reporting for period 2 - ASSURED (Future Proofing of ICT Trust Chains: Sustainable Operational Assurance and Verification Remote Guards for Systems-of-Systems Security and Privacy)

The scope of ASSURED is to provide a formally verified runtime assurance framework for securing the next-generation of “Systems-of-Systems” comprising multiple heterogeneous devices operating under the Zero Trust principle. Towards this direction, ASSURED investigates the...