Development of components for cyber-security

  • Secured XML validator allowing a high-level of security (EAL4+) for XML data exchange
  • Solution customizable for various data formats and technical contexts

Secure coding rules

  • JavaSec, CERT Java or Cert C, OCaml

Detection of known vulnerabilities, detection of hazardous instructions or patterns through static analysis

Investigation of the exploitability of detected weaknesses through static analysis or through the analysis of attack scenarios

Improvement of applications security