Sopris: Microsoft’s Solution to IoT Security Problems

The 7 properties of highly secure devices and how Microsoft implemented all 7 in low-cost microcontrollers.

Yitaek Hwang
Microsoft attempts to address IoT security problems

MIT Technology Review recently named “Botnets of Things” as one of the top 10 breakthrough technologies in 2017. From internet-connected kiosks to medical devices, IoT security problems have been stealing the headlines since the infamous Mirai attack last year.

We previously covered Google’s Infrastructure Security Design and CryptoNets as software approaches to security. This week, we dive into the “Seven Properties of Highly Secure Devices” by Microsoft Research NExT Operating Systems Technologies Group to see how we can bring security to the microcontroller level to complete the IoT stack.

Fixing IoT Security Problems

The goal of the research was to identify and implement security protocols for the billions of smart devices powered by microcontrollers. Despite the complete lack of security properties in current devices, the researchers remain bullish that IoT security problems can be addressed at the hardware level regardless of the price. Mainly, the purpose of this paper is two-fold: 1) establishing 7 properties required to achieve high security, 2) demonstrating the feasibility with a prototype.

7 Properties of Highly Secure Devices

According to the Microsoft research group, the minimum requirements to secure connected devices are the following:

  • Hardware-based Root of Trust: physical countermeasures built-in to resist side-channel attacks (e.g. pulse testing the reset pin to prevent glitching attacks).
  • Small Trusted Computing Base: private keys stored in a secure vault, separated from the software.
  • Defense in Depth: multiple layers & checkpoints for defense.
  • Compartmentalization: hardware-enforced barriers to prevent failure in one area to affect others.
  • Certificate-based Authentication: signed certificates, not passwords, used to establish identities.
  • Renewable Security: periodic updates to the software to keep security state up to date.
  • Failure Reporting: compiling reported failures to build up a better response routine.

To our astute reader, many of these principles seem obvious. However, the real contribution by the Microsoft team lies in demonstrating the feasibility of implementing all seven principles in low-cost microcontrollers.

Sopris: Modified MT7687

The team at Microsoft took a low-power smart home chipset MT7687 from MediaTek Labs to build in multiple levels of security. Figure 1 below shows the architecture of the MT7687 device. While it already contains cryptographic engines to provide some level of security, it fails to provide sufficient security due to its lack of compartmentalization and defense in depth.

Architecture of the MT7687 wifi-enabled microcontroller
Image credit: Microsoft

Compare the previous design with the modified design shown below. The new design has multiple levels of isolation and process-isolated compartments inside what Microsoft named the Pluton Security Subsystem.

Architecture of the experimental sopris highly secure wifi-enabled microcontroller, Microsoft's solution to IoT security problems
Image credit: Microsoft

While the paper doesn’t report the added cost to implement Pluton, the researchers state that the next phase will detail packaging Pluton into a simple device board for mass production. Although demonstrating feasibility on a single existing board doesn’t prove that security solved, Microsoft is leading the discussion to push security design considerations to the hardware level.

Author
Yitaek Hwang
Yitaek Hwang - Senior Writer, IoT For All
Yitaek is a Senior Writer at IoT For All who loves learning about IoT, machine learning, and artificial intelligence. He graduated from Duke University with a dual degree in electrical/computer and biomedical engineering and is a huge Cameron Crazie.
Yitaek is a Senior Writer at IoT For All who loves learning about IoT, machine learning, and artificial intelligence. He graduated from Duke University with a dual degree in electrical/computer and biomedical engineering and is a huge Cameron Crazie.