With the advent of low-cost, high-bandwidth, low-latency connectivity, the increased use of digitization techniques to deliver end-to-end intelligence, many industrial sectors are combining microelectronics and embedded software to deliver real-time interactions between the physical and the digital worlds, leveraging on complex IT infrastructures of interconnected devices, systems, systems-of-systems, edge, and cloud services. This creates attractive business opportunities for hackers that could exploit the large attack surface exposed by those complex infrastructures to extort money, potentially threatening remotely to cause physical damage to users or surrounding equipment. At ProvenRun, we provide our customers Trusted Products and Services to help them embed Security within their infrastructure of connected devices and services wherever this is required, e.g at the chip, device, systems, edge, and cloud levels by providing:
- Security consulting services,
- Security engineering services for the development of ad-hoc solutions,
- Off-The-Shelf secure-by-design product solutions to meet the most demanding needs.
We serve customers across industries mainly in the Automotive, Aerospace/Defense, Transport, Industrial, Telecom sectors, the IoT/Consumer device OEMs, and the Semiconductor & IP suppliers. ProvenRun’s main technical competencies are in security architecture, Operating Systems, Formal Methods, and security certification. For each of those competencies, we have industry-recognized experts backed up by years of experience in the digital security market, in particular in the smart card, and the mobile security industries.
Products and services offered by ProvenRun
ProvenRun answers to the cybersecurity requirements of the device OEMs at all steps of their product life-cycle.
Security consulting services that rely on world-class security expertise and cross-domains business understanding:
- Defining custom security architectures
- Delivering security training to architects and developers
- Performing security analysis and specifying security requirements
- Provide certification support (Common Criteria, CSPN, PSA, CESIP, etc.)
Security engineering services for the development of ad-hoc security solutions:
- Firmware update over-the-air (FOTA) and secure communication protocols (VPN, TLS) development
- Module integration (SE, TPM)
- Secure boot and Root-of-Trust development
- Support for OP-TEE integration and/or development of OP-TEE custom security services
Solutions to secure-by-design connected devices leveraging on software products specifically designed to meet the most demanding needs:
- ProvenCore: A next-generation ultra-secure OS available on STM32MP1 processors. ProvenCore can execute OP-TEE services, is compliant with GlobalPlatform and is certified Common Criteria EAL7.
- ProvenCore-M: A secure RTOS to secure IoT devices using for STM32 Cortex-M processors. Also available for TrustZone® on STM32L5.
- IoT Security Suite: A complete IoT solution for STM32MP1 processors, based on ProvenCore, that includes a secure boot, an attestation service, and different FOTA options with an increasing level of security.
ProvenRun in STMicroelectronics Ecosystem
ProvenRun is a key partner of STMicroelectronics in the field of embedded software security, and ProvenRun’s products match perfectly with STMicroelectronics’ portfolio.
ProvenRun: Related Resources
(#STM32MPU) (#STM32MP1) (#MP1SECURE) (#STSECURE) (#STSAFE-A) (#STM32Trust)
Products and Services offered:
• Embedded Software
• Engineering Services
Company Head Office address:
77 Avenue Niel, Paris, France
Company primary contact:
Contact
Company primary contact phone:
+33 1 75 77 55 55
Company website:
www.provenrun.com
You’re now leaving st.com and will be re-directed to our Partner’s website.
For the latest innovations and solutions from ST, sign up for our newsletters.
