Cost-effective IoT/Hardware protections | Cybersecurity

With the rise of the Internet Of Things (IoT), billions of interconnected objects will soon be in the hands of billions of users, controlling many aspects of our everyday lives. These systems represent a great opportunity but they are also a challenge for security and privacy. The goal of the Cybersecurity Institute is to provide low-cost hardware solutions implementing security services and improving the resilience of IoT devices against cyberattacks.

Explore Our Research Demos in IoT & Hardware protections

CADP : Construction and Analysis of Distributed Processes

CADP ("Construction and Analysis of Distributed Processes") is a widely-used toolbox designed for the creation and verification of asynchronous concurrent systems, such as communication protocols, distributed systems, asynchronous circuits, multiprocessor architectures, and web services. CADP provides an extensive range of functionalities, from step-by-step simulation to massively parallel model-checking. This powerful toolkit aids in ensuring the reliability and correctness of complex systems by facilitating their thorough analysis and verification.

To explore more about CADP and its capabilities, please follow the link: CADP: Construction and Analysis of Distributed Processes.

SERENE-IoT : Secured & EneRgy Efficient health-carE solutions using IoT technologies

SERENE-IoT addresses the needs of patients remotely followed by professional caregivers by developing advanced smart e-health IoT devices and architecture in Europe.

SERENE-IoT will contribute to the evaluation of the secured end-to-end IoT system platform in real scenarios including the proposed healthcare data structure, demonstrating in such way the achieved benefits.

To learn more about SERENE-IoT and its impact, click here.

For a comprehensive list of our publications on the subject, please refer to this link.