Project Acronym: ASSURED
Project Full Title: Future Proofing of ICT Trust Chains: Sustainable Operational Assurance and Verification Remote Guards for Systems-of-Systems Security and Privacy
Duration: 01/09/2020 – 31/08/2023
Topic: SU-ICT-02-2020 - Building blocks for resilience in evolving ICT systems
Project Website: https://www.project-assured.eu
Suite5 in ASSURED
Suite5 will deliver the design and architecture of the distributed ledger technology that will be utilized in assured, and the framework’s interactive dashboard, being also responsible for assessing the overall technical framework’s impact on the different demonstration sites.
ASSURED’s vision is to introduce a ground-breaking policy-driven, formally verified, runtime assurance framework in the complex Cyber Physical Systems (CPS) domain. ASSURED leverages and enhances runtime property-based attestation and verification techniques to allow intelligent (unverified) controllers to perform within a predetermined envelope of acceptable behaviour, and a risk management approach to extend this to a larger SoS. ASSURED elaborates over the coordination of deployed TEE agents in horizontal scope, encompassing numerous technologies applicable to everything from edge devices to gateways in the cloud. Such technologies DICE for binding devices to firmware/software, trusted execution environments, formal modelling of protocols and software processes, software attestation, blockchain technology for distributed verification of transactions between system elements and control-flow attestation techniques for enhancing the operational correctness of such devices.