- Share
- Share on Facebook
- Share on X
- Share on LinkedIn
![](/sites/default/files/Mediatheque/RESEARCH%20TOPICS/Hardware%20protections.jpg)
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.
- Share
- Share on Facebook
- Share on X
- Share on LinkedIn