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
