A rigorous and efficient run-time security monitor for real-time critical embedded system applications | IEEE Conference Publication | IEEE Xplore