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 Things“, a 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.