Detection and Evaluation
The Detection and Evaluation axis of the SECUSYS team develops algorithms for supervising system security and performance. It focuses on detecting anomalies and concept drift in CPS and IoT using topological and statistical methods. It also evaluates the impact of low-level architectures (ARM, RISC-V) and virtualization on system behavior. The goal is to enhance the reliability and resilience of critical systems.
Post-Quantum Cryptography
The Post-Quantum Cryptography axis of the SECUSYS team develops quantum-safe cryptography to protect digital infrastructures against attacks by quantum computers. It studies symmetric cryptography, post-quantum cryptography and quantum cryptography (QKD) along three complementary axes: cryptanalysis of quantum-safe schemes, design of advanced quantum-safe primitives and protocols, and deployment of post-quantum cryptography in existing infrastructures and security protocols.
Security and Safety of Complex Systems
This research focuses on enhancing the security and reliability of complex systems, particularly in distributed and embedded environments. he scientific goals are organized around three thematic pillars: Verification of Security Properties, Trusted Software Integration and Security of Distributed and Embedded Systems.