ProvenRun
Paris, France (UTC+1)Paris, France (UTC+1)Overview
ProvenRun builds trusted, security-by-design software and hardware foundations with 17+ years of experience operating from offices in Paris, France and additional locations in the US and Germany. The firm delivers secure OS and TEE development, security consulting, and security engineering for cloud, telecom, automotive, aerospace and IoT customers, specializing in deductive formal methods, Trusted Execution Environments, HSM design, post-quantum cryptography, RTOS and secure-boot workflows, certification kits, SDKs, integration and lifecycle maintenance across cloud-native and embedded deployments.
Quick Facts
- Year Founded
- 2009
- Company Size
- 51 - 200
- Avg. Hourly Rate
- $50/hr - $99/hr
- Min. Project Size
- $25,000
Specialties
- Embedded Systems Security
- IoT Security Solutions
- Trusted Execution Environments (TEE)
- Secure Operating System Development
- Formal Verification & Formal Methods
- Secure Boot Development
- Security Architecture Design
- Security Certification Support
- Trusted Application Development
- Hardware Security Module (HSM) Solutions
- Cloud & Edge Security
- Cybersecurity Consulting
- Security Analysis
- Embedded Systems Security
- IoT Security Solutions
- Trusted Execution Environments (TEE)
- Secure Operating System Development
- Formal Verification & Formal Methods
- Secure Boot Development
- Security Architecture Design
- Security Certification Support
- Trusted Application Development
- Hardware Security Module (HSM) Solutions
- Cloud & Edge Security
- Cybersecurity Consulting
- Security Analysis
Team Experience
- < 1 Year9%
- 1-2 Years24%
- 3-5 Years26%
- 6-10 Years24%
- 10+ Years17%
< 1 Year
9%
Median Employee Tenure:
3.8 years
Employee Growth in last 1 year:
-5%
Offerings
Services
Custom Software Development
Cybersecurity
Embedded Software Development
Software Maintenance and Support
Industries Served
Aerospace & Defense
Automotive
Blockchain
Computer and Networking Hardware
Internet of Things (IoT)
IT Services and IT Consulting
Manufacturing
Telecommunications
Expertise
Tech Stacks
Java
PHP
Python
Android
C
C++
Node.js
Rest
Rust
Tools
Docker
Git
Jira
Linux
Microsoft SQL Server
Skills & Expertise
Agile Methodologies- Artificial Intelligence
- Data Analysis
- Object-Oriented Programming (OOP)
- Software Development
Highlights
Awards and Certifications
Arm PSA level 3 Certification
Certified By: Arm PSA
Evaluation Assurance Level 7 (EAL7)
Certified By: Common Criteria
Location(s)
Primary Development Center & Headquarter
Other
Primary Development Center & Headquarter
Paris, France
25+ employees
Important Facts About France (PDC):
Literacy Rate- :
- 99%
English Proficiency- :
- Medium
GDP Per Capita- :
- $48,980
Income Category- :
- High
Other Locations
Germany
1 Office
United States of America
1 Office