search menu icon-carat-right cmu-wordmark

KalKi: High Assurance Software-Defined IoT Security

October 2019 Presentation
Sebastián Echeverría

We are developing a solution for DoD's use of commodity IoT technologies that remains resilient and trustworthy, even in the presence of a powerful attacker.


Software Engineering Institute


Our proposed solution moves part of security enforcement to the network to enable the integration of IoT devices into DoD systems, even if the IoT devices are not fully trusted or configurable, by creating an IoT security infrastructure that is provably resilient to a collection of prescribed threats.