With the advent of the IoT and the growing number of sophisticated cyber-attacks on connected systems, customers need to raise the quality and robustness of their software projects so as to get as close to possible to zero-defects.
To further their existing partnership on tools and services, ProvenRun and TrustInSoft have decided to extend their partnership: TrustInSoft will promote ProvenCore, ProvenRun’s ultra-secure OS, to their customers looking for a platform to run security-critical applications while ProvenRun will promote using TrustInSoft Analyzer for verifying security applications running on top of ProvenCore.

“The security properties of ProvenCore have been formally proven, down to generated code,” explains Fabrice Derepas, TrustInSoft’s CEO. “This creates the best security foundation for highly secure applications.”

“With TrustInSoft Analyzer, the security applications running on top of ProvenCore can be brought to the highest level of confidence in the most cost-effective manner“ concludes Dominique Bolignano, President and Founder of ProvenRun.

About ProvenRun

ProvenRun’s mission is to help its customers resolve the security challenges linked to the large-scale deployment of connected devices and of the Internet of Things by providing cost effective off-the-shelf software solutions that dramatically improve the level of security of connected systems so as to protect them against remote cyber-attacks. Further information can be found at www.provenrun.com.

About TrustInSoft

TrustInSoft’s mission is to empower its customers to guarantee the quality of critical software assets. Its advanced source code analyzer provides mathematical guarantees and can be used efficiently on existing legacy, proprietary or open source software applications. Further information can be found at trust-in-soft.com.