search menu icon-carat-right cmu-wordmark

KalKi: High Assurance Software-Defined IoT Security

This poster provides an update on research to help accelerate the safe use of Internet of Things devices in tactical settings.

Software Engineering Institute


Despite the DoD’s current use of Internet of Things (IoT) devices in supervisory control and data acquisition (SCADA) systems, and its interest in using such devices in tactical systems, adoption of IoT has been slow mainly due to security concerns (e.g., reported vulnerabilities, untrusted supply chains). At the same time, the DoD recognizes the rapid pace at which the IoT commercial marketplace is evolving, and its urgency to embrace commodity technologies to match its adversaries.