Meet Prove & Run at S3P Alliance Day 2017

Prove & Run, a founding member of the S3P Alliance, will be showing its formally proven operating systems ProvenCore and ProvenCore-M at the S3P Alliance Day in Paris on the 28th of September 2017.

The event is free but registration is required. Please check the website of the event for more information.

If you want to schedule a meeting ahead of time, please send us an email at .moc.1503571544nurne1503571544vorp@1503571544tcatn1503571544oc1503571544

Prove & Run will be exhibiting at embedded world 2018 in Nuremberg, from the 27th of February to the 1st of March. Come and meet us at our stand: Hall 4A stand 431!

If you want to schedule a meeting ahead of time, please send us an email at .moc.1503571544nurne1503571544vorp@1503571544tcatn1503571544oc1503571544

Dominique Bolignano, Prove & Run’s founder and CEO, will deliver a talk at the 1st European Conference on Connected and Automated Driving, This conference is hosted by the European Commission.

The high-level conference will be held in Brussels on the 3rd and 4th April 2017. Major road transport stakeholders – automotive and telecom industry, users, road operators, public transport operators, regulators, research centres, universities and representatives of both EC and EU Member States – are invited to attend.

The event will be a unique opportunity for all participants to network and to discuss on how to boost the development and deployment of connected and automated driving technologies from a fourfold perspective: transport policy issues; technological challenges; legal and regulatory frame, and digital transformation.

Dominique Bolignano, Prove & Run’s founder and CEO, will deliver a talk at the C&SAR Conference 2016 (21-23 November 2016). This talk will be a presentation of “Formally Proven and Certified Off-The-Shelf Software Components : The Critical Links for Securing the Internet of Thingsa paper to understand the current security challenges of the IoT and how to solve them using formally proven security bricks. This paper will be made available after the talk.

Abstract: The Internet of Things is bringing new security challenges that need to be addressed before deployment reaches a larger scale. We believe this can be done using a few key security software components and will illustrate this using a few security use cases that are representative of various Internet of Things market segments.

 

Systematic LogoProve & Run will be exhibiting at the Annual Systematic Convention in Paris at the Maison de la Chimie, on the 8th of June 2016.

Digital Trust will be one of the focus of the Convention, and Prove & Run will use this opportunity to demonstrate how to use its formally proven OS kernels (ProvenCore and ProvenCore-M) to create secure-by-design software architectures for embedded devices and the Internet of Things. Come and meet us at our stand!

Attendance is free but advance registration is mandatory.

If you want to schedule a meeting ahead of time, please send us an email at .moc.1503571544nurne1503571544vorp@1503571544tcatn1503571544oc1503571544

B0302_SEMINAR-840x300_CS5_2On the 18th of March 2016, Dominique Bolignano (CEO and Founder of Prove & Run) will host a Seminar@SystemX. On this occasion, he will deliver a talk based on “Proven Security for the Internet of Things“, a paper to understand the current security challenges of the IoT and how to solve them using Prove & Run’s security bricks (such as ProvenCoreProvenCore-M and ProvenVisor).

More details about the day are available on the page dedicated to the event. Please note that advance registration is mandatory.

Updated: The video of this talk (in French) is now available below.

SIF_logoOn the 23rd of March 2016, the French Computing Society (“Société Informatique de France”, SIF) organizes a day of conferences about the scientific and technological challenges of the Internet of Things. On this occasion, Dominique Bolignano, Prove & Run’s founder and CEO, will deliver a talk based on “Proven Security for the Internet of Things“, a paper to understand the current security challenges of the IoT and how to solve them using Prove & Run’s security bricks (such as ProvenCoreProvenCore-M and ProvenVisor).

More details about the day are available on the page dedicated to the event. Please note that advance registration is mandatory.

Dominique Bolignano, Prove & Run’s founder and CEO, will deliver a talk at the embedded world Conference 2016, on the 24th of February at noon. This talk is a presentation of “Proven Security for the Internet of Things“, a paper to understand the current security challenges of the IoT and how to solve them using Prove & Run’s security bricks (such as ProvenCoreProvenCore-M and ProvenVisor).

Prove & Run will be exhibiting at embedded world 2016 in Nuremberg, from the 23rd to the 25th of February. Come and meet us at our stand: Hall 4A stand 431!

If you want to schedule a meeting ahead of time, please send us an email at .moc.1503571544nurne1503571544vorp@1503571544tcatn1503571544oc1503571544

On the 13th of October 2015, GlobalPlatform will host the Third Annual TEE Seminar. On this occasion, Dominique Bolignano, Prove & Run’s CEO and Founder, will deliver a talk presenting one of our solutions: “A Secure TEE-Based BYOD / COPE Solution for Smartphones and Tablets“.

Abstract:

Achieving a high level of security in a BYOD (bring your own device) or COPE (corporate owned, personally enabled) scenario on a traditional smartphone equipped with a traditional operating system is difficult and costly, as operating systems such as Android and Windows are very large and difficult to fully secure. Reaching a high level of security or passing a high level Common Criteria certification is just impossible on such phones. To address this issue, Prove & Run has designed a BYOD/COPE solution protected by a TEE.

This solution enables a smartphone user to use professional applications and to communicate securely with its organization in a user-friendly environment, relying for some or all of its security on the TEE. To meet the diverse needs of potential users as well the many existing smartphone configurations, this solution has been derived in several architectures, which will be presented during this session.

Download this presentation