Embedded Security and Cryptography (EMSEC) is a research team within the IRISA computer science institute located in Rennes, France. EMSEC was created in February 2016 and is headed by Prof. Gildas Avoine and Prof. Pierre-Alain Fouque, both members of the Institut Universitaire de France. The team hosts more than 15 researchers, including 6 permanent members from the University of Rennes 1, INSA Rennes, and CNRS.
EMSEC performs research on the security of embedded devices, with a special focus on security primitives, schemes, and protocols. The team studies and develops tools, processes, and methods of security engineering that enable security assessment of ubiquitous computing systems and objects. The activities are organized along four axes.
- Security models. One of the major concerns of information security is to establish security proofs. EMSEC considers computational proofs and formal methods for the verification of communication protocols.
- Design and analysis of primitives, schemes, and protocols. EMSEC addresses the design of secure building blocks based on security proofs and cryptanalysis of such blocks.
- Hardware and software security. EMSEC exploits reverse-engineering techniques to analyze primitives, schemes, and protocols implemented in embedded systems. This includes (but is not limited to) side-channel analysis and forensics.
- Security analysis of real-world ubiquitous systems. EMSEC works on finding vulnerabilities in real-world systems, with the aim to provide the security community with valuable feedback and lead to more secure designs.