Secure Components

Components off-the-shelf for the Trusted Computing Base

At ProvenRun, we provide essential Trusted Computing Base (TCB) secure components that are helping customers reaching the design goals for their products and services.

Our TCB secure components are addressing the most complex part of the TCB, the one for which the development effort and the certification costs would not be affordable at a project or product level. With our TCB secure components, those costs are mutualized on a large number of projects.

Our TCB secure components are certified by industry-recognized certification schemes and are therefore ready to be integrated as a unitary component in customer products and associated certification. They can be delivered with certification kits that provide the artefacts and items that are needed for getting customer product’s certified.

ProvenCore

ProvenCore is an ultra secure OS developed using deductive formal methods. It is a key milestone for being able to develop secure-by-design connected devices in many sectors (automotive, railways, aeronautics, energy, industrial, medical, etc.) in a cost-effective way

More details

ProvenCore-M

ProvenCore-M is a secure Real Time Operating System (RTOS) that is dedicated to help security architects to design a highly secured TCB for hardware constrained microcontroller platforms. It brings an innovative answer to help companies developing smart products with high security assurance level at industrial cost.

More details

ProvenVisor

ProvenVisor is a secure and certifiable hypervisor that security architects can use as an off-the-shelf certifiable component for their connected device’s Trusted Computing Base.

More details

ProvenBox

ProvenBox is a tamper-resistant, generic security appliance, ready to host security applications that require trust, performance and ease of use.

More details

These products answer the following challenge(s)

Security-by-design

Security needs to be integrated at the design stage (security-by-design) and embedded in the most effective way wherever it is required in the technical infrastructure. There are many ways to embed security in systems and devices and the selected solution will be the result of a trade-off between cost, security level and performance.

More details

Trusted Computing Base

Security engineers define the Trusted Computing Base (TCB) as the set of hardware, firmware and software components that are critical to the security of a system. In order to limit the risk of vulnerabilities, the TCB need to be well identified, as small as possible and made-up of components that can be really trusted.

More details