Développement de composants pour la Sécurité des Systèmes d'Information (SSI)

  • Valideur XML sécurisé, permettant un très haut niveau de sécurité (EAL4+) pour les échanges de données au format XML
  • Solution adaptable aisément dans de nombreux contextes techniques et différents formats

Règles de codage « sûr »

  • JavaSec, CERT Java ou Cert C, OCaml

Détection de faiblesses connues, détection d'instructions ou de patrons « dangereux » via de l'analyse statique

Investigation de l’exploitabilité des faiblesses détectées via de l’analyse statique ou des scénarios d’attaque

Amélioration de la sécurité des applications