Éditeur de solutions
ProvenRun
ProvenRun est un éditeur français spécialisé dans la sécurité des systèmes embarqués, proposant des solutions logicielles formellement prouvées pour sécuriser les objets connectés et les systèmes critiques, avec une approche de sécurité par conception garantissant un haut niveau de protection contre les cybermenaces.
provenrun.com/
France
Services
- Logiciels sécurisés pour systèmes embarqués
- Solutions formellement prouvées
- Noyaux sécurisés pour IoT et systèmes critiques
Expertises
Sécurité des systèmes embarquésSécurité par conceptionProtection des systèmes critiques
Réseaux
Hexatrust