Formally Proven and Certified Off-The-Shelf Software Components

The Critical Links for Securing the Internet of Things

Dominique Bolignano, ProvenRun

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.

See this publication