Dominique Bolignano to talk at C&SAR Conference about the security of the IoT

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.


Print Print