Constructive Approaches for Security Analysis and Design of Embedded Systems. First International Conference, CASCADE 2025. Proceedings

Rivain, Matthieu2025-11-192025-11-192026978-3-032-01404-7978-3-032-01405-4978-3-032-01406-1https://publica.fraunhofer.de/handle/publica/49951510.1007/978-3-032-01405-4enConstructive Approaches for Security Analysis and Design of Embedded Systems. First International Conference, CASCADE 2025. Proceedings