Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe. A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In 3rd IEEE World Forum on Internet of Things, WF-IoT 2016, Reston, VA, USA, December 12-14, 2016. pages 100-105, IEEE Computer Society, 2016. [doi]
Abstract is missing.