As the world becomes increasingly dependent on interconnected vehicles, IoT devices, and smart infrastructures, risk assessment must keep pace with the evolving threat landscape. The REWIRE Project introduces an innovative…
Introduction Cybersecurity in modern systems is increasingly about resilience and adaptability. Traditional risk assessment methods, designed for static infrastructures, are no longer sufficient for today’s dynamic, interconnected, and adversarial environments.…
Beyond software updates, workloads sometimes need to migrate between hosts—for maintenance, hardware replacement, or load balancing. Without a secure migration protocol, adversaries could exploit migration to fork enclaves, steal state,…
Introduction Software updates and secure migration are essential components of modern cybersecurity and resilience. Devices must remain up-to-date against vulnerabilities, and workloads must be migratable across platforms without loss of…
Cryptography is only as strong as the management of its keys, and poor practices can undermine even the most secure algorithms. The REWIRE Project addresses this challenge by introducing a…
Cryptography is only as strong as the management of its keys. In Trusted Execution Environments (TEEs) and complex system-of-systems, poor key management can render even the strongest algorithms ineffective. The…
The REWIRE Zero-Touch Onboarding framework yields several required benefits, such as scalability since supports mass onboarding of devices without human intervention, resilience with strong cryptographic guarantees prevent adversarial tampering, interoperability:…
This present blog aims to explore how REWIRE’s Zero-Touch Onboarding operates to strengthen the runtime operational assurance across complex, interconnected IoT systems. More specifically, in a rapidly evolving digital world,…
by University of Surrey Nada El Kassem from the University of Surrey introduced secure enrollment as a critical process for accurate registration and authentication while protecting identities within the REWIRE…
By Collins During their presentations, Stylianos (Stelios) Basagiannis and Simone Fulvio Rollini from Collins, on Formal Verification Techniques, both speakers defined the concept as mathematical reasoning to build system models…