Home

REWiring the ComposItional Security VeRification and AssurancE of Systems of Systems Lifecycle

The Project

REWIRE envisions a holistic framework for continuous security assessment of open-source and open-specification hardware and software for IoT devices and the development of cybersecurity certification in accordance with the requirements and guidelines of recent EU regulation Cyber security Act. The proposed scalable and multifunctional cybersecurity platform will ensure the security throughout the life of the IoT devices with continuous security auditing, trust computing and theorem proofs for defining a HW based microarchitecture for enhanced protection targeting to open-hardware / software vulnerabilities. A certification procedure of the audited software and hardware components will propose new software security metrics and establish a layer of trust between stakeholders, utilizing Blockchain and smart contracts. REWIRE will expand traditional cyber insurance models to account for both open-source hardware and software assets, by ingesting security auditing results for estimating premium costs. REWIRE will exploit a Knowledge Plane of metadata generated from application behavioral patterns and operations to determine appropriate security policies and properties to enforce on open-source HW/SW to block potentially harmful instructions. REWIRE has invested in three carefully selected pilots (Smart Cities, Automotive, Smart Satellites), which can address the ambitious objectives of the project:
  • customizable TEE based on RISC-V micro benchmarking for quick, and
  • automated assessment of h/w vulnerability

Based on the above description, REWIRE aims to safeguard the entire workflow of secure processing; from the Deployment and Operation of SW-based SoSes to their patch management when new exploits have been identified during run-time, by providing new trust management mechanisms towards the auditability and certification of SW/HW open-source specifications.

Latest Posts

REWIRE @ DEFEA2023

May 18, 2023 Events | News

REWIRE has been presented at the exhibition booth of project partner Eight Bells, during the…

Learn more

AI-based Misbehavior detection in IoT environments

May 15, 2023 Blog

By Spiros Kousouris, SUITE5 The Internet of Things (IoT) has revolutionised the way we interact…

Learn more

Newsletter Issue 2

May 4, 2023 News

We are pleased to announce the publication of our second newsletter! You may find it…

Learn more

Blockchain, Oracles, and Trust in Project REWIRE

May 2, 2023 Blog

by Dr. Kaitai Liang, TUD The Project REWIRE aims to advance the state-of-the-art in auditing…

Learn more

REWIRE @ DATE2023

April 28, 2023 Events | News

Our colleagues from UCLouvain participated in DATE 2023 Conference, entitled “Design, Automation and Test in…

Learn more

Secure Remote Computation and Trusted Execution Environments

April 24, 2023 Blog

by Javier de Vicente Gutiérrez, NEC Laboratories Europe Secure remote computation [1] is the problem…

Learn more

Consortium

REWIRE brings together renowned researchers from industry and academia towards creating trusted computing safeguards that can strengthen the security posture of complex Cyber-Physical Systems (CPSoS). By combining disruptive technologies (capturing all operational stacks of safety-critical applications) we envision to convert deployed system into security hardened "tokens" assuring their entire lifecycle; from their secure bootstrap to their verifiable secure execution and maintenance through appropriate (SW and/or FW) updates.
REWIRE brings together renowned researchers from industry and academia towards creating trusted computing safeguards that can strengthen the security posture of complex Cyber-Physical Systems (CPSoS). By combining disruptive technologies (capturing all operational stacks of safety-critical applications) we envision to convert deployed system into security hardened "tokens" assuring their entire lifecycle; from their secure bootstrap to their verifiable secure execution and maintenance through appropriate (SW and/or FW) updates.
REWIRE brings the 'don't trust, verify' paradigm to the whole IoT lifecycle; from secure on-boarding to device management and software and firmware update. Throughout the lifetime of a device its components will be monitored to ensure that the data that is being reported can be verified and trusted. The functions offered by any components identified as un-trustworthy will be assigned to other components in the system to ensure service is maintained. The varied use cases that have been identified (automotive, smart cities and smart satellites) will enable REWIRE's outputs to be tested and their benefits demonstrated.
REWIRE brings the 'don't trust, verify' paradigm to the whole IoT lifecycle; from secure on-boarding to device management and software and firmware update. Throughout the lifetime of a device its components will be monitored to ensure that the data that is being reported can be verified and trusted. The functions offered by any components identified as un-trustworthy will be assigned to other components in the system to ensure service is maintained. The varied use cases that have been identified (automotive, smart cities and smart satellites) will enable REWIRE's outputs to be tested and their benefits demonstrated.
REWIRE will provide a secure update system. UCLouvain will contribute to this system by providing a secure way of transmitting these updates through strong cryptographic means. Our ambition is to ensure that this transmission remains secure even if the target device is at the hand of attackers - a likely scenario in an IoT context - capable of monitoring, and possibly tampering with, the device's physical behaviour.
REWIRE will provide a secure update system. UCLouvain will contribute to this system by providing a secure way of transmitting these updates through strong cryptographic means. Our ambition is to ensure that this transmission remains secure even if the target device is at the hand of attackers - a likely scenario in an IoT context - capable of monitoring, and possibly tampering with, the device's physical behaviour.
The REWIRE project aims to create a framework for continuous security assessment and management of billions of interconnected IoT devices under the zero-trust concept. As an industry partner, Secura contributes in researching and developing automated verification tools for ensuring integrity of targeted firmware in devices used in smart cities, smart satellites and smart vehicles, throughout their entire lifecycles.
The REWIRE project aims to create a framework for continuous security assessment and management of billions of interconnected IoT devices under the zero-trust concept. As an industry partner, Secura contributes in researching and developing automated verification tools for ensuring integrity of targeted firmware in devices used in smart cities, smart satellites and smart vehicles, throughout their entire lifecycles.
REWIRE will bring formally-verified security guarantees to IoT and connected devices. NEC Laboratories Europe will contribute to the design of secure Trusted Execution Environments based on Risc-V and to the design of novel attestation protocol tailored to the project use cases.
REWIRE will bring formally-verified security guarantees to IoT and connected devices. NEC Laboratories Europe will contribute to the design of secure Trusted Execution Environments based on Risc-V and to the design of novel attestation protocol tailored to the project use cases.
REWIRE aims to offer a Blockchain overlay that facilitates the secure, auditable recording and sharing of the threat intelligence data, among the distributed IoT devices, actors, and back-end systems, and data regarding the security patching and update process. It is exciting to develop a new generation of blockchain through REWIRE to provide secure and trusted oracles, smart contracts and AI-based solutions.
REWIRE aims to offer a Blockchain overlay that facilitates the secure, auditable recording and sharing of the threat intelligence data, among the distributed IoT devices, actors, and back-end systems, and data regarding the security patching and update process. It is exciting to develop a new generation of blockchain through REWIRE to provide secure and trusted oracles, smart contracts and AI-based solutions.
REWIRE aims to enhance cyber security awareness in heterogeneous IoT deployments by supporting the management lifecycle and threat intelligence data sharing through a Blockchain infrastructure. As a technical partner, Suite5 will contribute in developing an AI- based misbehavior detection mechanism towards analysing various attack vectors within a distributed environment using federated learning; and integrate it as part of the chaincode of smart contacts towards ensuring the trustworthy training and inferencing of AI Federated Learning models.
REWIRE aims to enhance cyber security awareness in heterogeneous IoT deployments by supporting the management lifecycle and threat intelligence data sharing through a Blockchain infrastructure. As a technical partner, Suite5 will contribute in developing an AI- based misbehavior detection mechanism towards analysing various attack vectors within a distributed environment using federated learning; and integrate it as part of the chaincode of smart contacts towards ensuring the trustworthy training and inferencing of AI Federated Learning models.
REWIRE aims to enhance cyber security awareness in heterogeneous IoT deployments by supporting the management lifecycle and threat intelligence data sharing through a Blockchain infrastructure. As a technical partner, Suite5 will contribute in developing an AI- based misbehavior detection mechanism towards analysing various attack vectors withi
REWIRE aims to enhance cyber security awareness in heterogeneous IoT deployments by supporting the management lifecycle and threat intelligence data sharing through a Blockchain infrastructure. As a technical partner, Suite5 will contribute in developing an AI- based misbehavior detection mechanism towards analysing various attack vectors withi
Project’s ambition is to provide a harmonized toolchain for the efficient and continuous security assessment and management throughout the entire lifecycle of IoT devices. This holistic approach takes into account, for the first time, the concept of zero-trust, leveraging verification for different aspects (crypto, firmware) and runtime assurance. REWIRE’s scientific contribution activates a multiplier effect on economic and societal dimensions, presenting business opportunities for stakeholders, while increasing cybersecurity awareness and fostering digital transition of EU societies.
Project’s ambition is to provide a harmonized toolchain for the efficient and continuous security assessment and management throughout the entire lifecycle of IoT devices. This holistic approach takes into account, for the first time, the concept of zero-trust, leveraging verification for different aspects (crypto, firmware) and runtime assurance. REWIRE’s scientific contribution activates a multiplier effect on economic and societal dimensions, presenting business opportunities for stakeholders, while increasing cybersecurity awareness and fostering digital transition of EU societies.
Libre Space Foundation is participating in the REWIRE project to demonstrate the innovative Smart Satellites Use Case. LSF is committed to defining requirements, designing, and deploying a comprehensive 'flat-sat' engineering model, using a RISC-V-based Onboard Processor, COTS Onboard Data Handling Unit, and an LSF-developed COMMS Subsystem and Ground Segment simulator, all in alignment with LSF's vision for accessible and open space technologies.
Libre Space Foundation is participating in the REWIRE project to demonstrate the innovative Smart Satellites Use Case. LSF is committed to defining requirements, designing, and deploying a comprehensive 'flat-sat' engineering model, using a RISC-V-based Onboard Processor, COTS Onboard Data Handling Unit, and an LSF-developed COMMS Subsystem and Ground Segment simulator, all in alignment with LSF's vision for accessible and open space technologies.
Automotive industry envisions highly interconnected, smart and futuristic vehicles that will allow safer transportation and fully autonomous driving. REWIRE envisages a pioneering security framework, interweaved with cutting-edge technologies, to tackle the mission critical security aspects of Vehicle-2-Everything (V2X) communication and over-the-air (ΟΤΑ) updates, in conjunction with real-time cyber-attacks detection and mitigation.
Automotive industry envisions highly interconnected, smart and futuristic vehicles that will allow safer transportation and fully autonomous driving. REWIRE envisages a pioneering security framework, interweaved with cutting-edge technologies, to tackle the mission critical security aspects of Vehicle-2-Everything (V2X) communication and over-the-air (ΟΤΑ) updates, in conjunction with real-time cyber-attacks detection and mitigation.
REWIRE innovations will enhance security for several key assets of Smart Cities scenarios where IoT technologies and mechanisms are implemented over constrained devices and communication radio links. These enhancements include lightweight authenticated key exchanges that allow device bootstrapping, secure firmware updates over the air, and threat detection. Through the use of novel techniques — e.g., state-of-the-art blockchain and AI solutions — REWIRE will improve security and trust for Smart Cities.
REWIRE innovations will enhance security for several key assets of Smart Cities scenarios where IoT technologies and mechanisms are implemented over constrained devices and communication radio links. These enhancements include lightweight authenticated key exchanges that allow device bootstrapping, secure firmware updates over the air, and threat detection. Through the use of novel techniques — e.g., state-of-the-art blockchain and AI solutions — REWIRE will improve security and trust for Smart Cities.
Collins Aerospace, Applied Research and Technology Centre is proud to be a technology partner of the REWIRE project providing verification and validation expertise for secure embedded systems solutions. The approach followed will include a top-down tool-aided formal verification approach providing guarranties from system till fine-grained RISC-V based requirements.
Collins Aerospace, Applied Research and Technology Centre is proud to be a technology partner of the REWIRE project providing verification and validation expertise for secure embedded systems solutions. The approach followed will include a top-down tool-aided formal verification approach providing guarranties from system till fine-grained RISC-V based requirements.
Previous
Next

Sign up for REWIRE
Newsletter

Be the first to learn about project progress updates, results, events, publications, and more!
*By signing up to receive the periodical newsletter you accept REWIRE Privacy & Cookies Policy