Secure Repair Techniques for Embedded Operating Systems Based on Trusted Cloud Environments | IEEE Conference Publication | IEEE Xplore