Prove & Run

Prove & Run’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.

As the cornerstone of it’s product offering, Prove & Run has developed ProvenTools, a patented software development toolchain that is specifically forged to deal with the complex security properties of sensitive software components and to formally prove the correctness of your software.

Thanks to ProvenTools, Prove & Run has first developed ProvenCore and ProvenCore-M, two formally proven microkernels that can be used as Trusted Execution Environments (TEE) for securing gateways or devices. Further, Prove & Run has developed ProvenVisor, an hypervisor for security. With these three COTS, you can answer to the most critical security challenges and provide the right security foundation for connected embedded systems and more generally the Internet of Things.

Contact Information

Paris France

Print Email Friend Add to Favorites Report Listing

Categories:
Cyber-Physical Systems Security
Software & Application Security

CyberSecurity Jobsite

Perimeter 81

Real Attacks. Real Tools. Real Scenarios.
Schedule a demo

Training that transforms behaviours

Sign Up: Cyber Security Intelligence Newsletter

Directory of Suppliers

LockLizard

Locklizard provides PDF DRM software that protects PDF documents from unauthorized access and misuse. Share and sell documents securely - prevent document leakage, sharing and piracy.

North Infosec Testing (North IT)

North IT (North Infosec Testing) are an award-winning provider of web, software, and application penetration testing.

Practice Labs

Practice Labs is an IT competency hub, where live-lab environments give access to real equipment for hands-on practice of essential cybersecurity skills.

XYPRO Technology

XYPRO is the market leader in HPE Non-Stop Security, Risk Management and Compliance.

Syxsense

Syxsense brings together endpoint management and security for greater efficiency and collaboration between IT management and security teams.

ComSec LLC

ComSec perform threat assessments to identify vulnerabilities and help protect businesses against corporate espionage via electronic eavesdropping.

Veriato

Veriato develops intelligent solutions that provide companies with visibility into the human behaviors and activities occurring within their network, making them more secure and productive.

Sage Designs

Sage Designs is a provider of SCADA, Security & Industrial Automation products and training programs.

Source Defense

Source Defense provides websites with the first ever prevention technology for attacks of third-party origin.

Data61

Data61 is Australia’s leading digital research network offering the research capabilities, IP and collaboration programs to unleash the country’s digital & data-driven potential.

KeepSolid

KeepSolid is a Virtual Private Network services provider offering secure encrypted access to the internet.

Council of Europe Convention on Cybercrime

The Council of Europe helps to protect societies worldwide from the threat of cybercrime through the Convention on Cybercrime.

ThriveDX

ThriveDX, the world’s premier EdTech provider (formerly HackerU), champions digital transformation training as a means of empowering individuals to thrive in the age of digital disruption.

FraudLabs Pro

FraudLabs Pro detects fraud and helps merchants to reduce e-commerce chargebacks by identifying high risk transactions.

NWN Corp

NWN Corporation is a leading Cloud Communications Service Provider (CCSP) focused on transforming the customer and workspace experience for commercial, enterprise and public sector organizations.

1898 & Co

Keep your critical assets secure with a comprehensive portfolio of services from high-level assessments to fully managed security services designed for operational technology applications.

Luxembourg House of Financial Technology (LHoFT)

Offering start-up incubation, co-working spaces including a soft-landing platform, the LHoFT connects and creates value for the entire Luxembourg FinTech ecosystem.

Invicti Security

Invicti Security is an AppSec leader transforming the way web applications are secured.

SquareX

Squarex secures your online activities without compromising productivity.

Silk Security

Silk is the first platform that enables enterprises to take a strategic, sustainable approach to resolving code, infrastructure and application risk.

AgilePQ

AgilePQ visibly secures IoT devices worldwide to protect the privacy, safety, and well-being of all people.