The large scale deployment of the IoT will not be possible without resolving current major security issues and challenges. This can be resolved using few key security software components. From its experience securing smartcard systems, P&R is the first in the industry to get certification agencies to work on certifying its formally proven software to the highest security level. The speaker will describe the key software components already developed by P&R and the ones soon to be available as COTS to Freescale’s customers and partners. He will illustrate them using representative examples showing how such key security components can be used to answer all the critical security challenges of the IoT. The speaker will also present how ProvenCore, a fully secure microkernel and a major component of P&R range of security bricks, has been designed to reach the highest level of security.