L’organisme américain Nist distingue la technologie de cybersécurité du français TrustInSoft
Publié le 04-04-2014
par Francois Gauthier
La jeune société française TrustInSoft, qui propose des outils de test et d’analyse statique de code basés sur la technologie Frama-C issue du CEA-List et de l’Inria, est la seule à avoir passé avec succès une partie des tests...
Je m'abonne
La lecture de cet article est réservé aux abonnés payants du site.
Pour plus de souplesse, nous vous proposons plusieurs formules d'abonnement sans aucune obligation de renouvellement :
| Durée | Type | Prix |
| 1 mois | Découverte | 25 euros HT |
| 1 an | Complet | 200 euros HT |
-dissolve-basic-fr(1).jpg)
- 30/04/2014 – Verocel transforme en un outil sur étagère son savoir-faire en service pour la certification
- 15/04/2014 – National Instruments et l'université de Lund planchent sur le test de "Massive Mimo” pour la 5G
- 14/04/2014 – GrammaTech introduit le test statique de code binaire tierce partie dans l'outil CodeSonar
- 01/04/2014 – LDRA s’intéresse de près aux applications critiques embarquées sur des microcontrôleurs
- 27/03/2014 – Les sondes de débogage de Segger accueillent le monde des microcontrôleurs PIC32
- 25/03/2014 – Automobile : PikeTec et PLS autorisent l’exécution des tests basés modèles directement sur la cible
