post-docs
All our offers
-
Cyber security : hardware and sofware
Application of formal methods for interferences management
Within a multidisciplinary technological research team of experts in SW/HW co-design tools by applying formal methods, you will be involved in a national research project aiming at developing an environment to identify, analyze and reduce the interferences generated by the concurrent execution of applications on a heterogeneous commercial-off-the-shelf (COTS) multi-core hardware platform.
-
Cyber security : hardware and sofware
Secure Implementations of Code-Based Post-Quantum Cryptography: Software-Hardware Co-Design and Side-Channel Resistance
Quantum computing threatens traditional cryptographic schemes like RSA and ECC, prompting the need for post-quantum cryptography (PQC). NIST’s standardization process selected algorithms like HQC, a code-based Key Encapsulation Mechanism. Efficient and secure implementation of these algorithms, especially in resource-constrained environments such as IoT and embedded systems, remains a challenge. Physical attacks, particularly side-channel and fault...
EN 
FR 