H2020 · Cybersecurity
Future Proofing of ICT Trust Chains: Sustainable Operational Assurance and Verification Remote Guards for Systems-of-Systems Security and Privacy
Suite5 delivered the design and architecture of the distributed ledger technology that was 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 was to introduce a ground-breaking policy-driven, formally verified, runtime assurance framework in the complex Cyber Physical Systems (CPS) domain. ASSURED leveraged and enhanced 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 elaborated 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.
Talk to us about the capabilities behind ASSURED — as a research collaboration or a commercial engagement.