Research

Expertise of the team

  • Vulnerability analysis ; in hardware and software (binary code analysis, fuzzing), in system and networks,
  • Cryptographic design and analysis in hardware/software/distributed system, formal specification and certification, watermarking, quantum cryptography ;
  • Design and analysis of security protocols (both classical and quantum), formal proof ;
  • Design and analysis of security architectures ;
  • Privacy and software protection (including certification of runtime execution, code protection, obfuscation) for pervasive system.

Scientific board members