Control-Flow Recovery Validation Using Microarchitectural Invariants | IEEE Conference Publication | IEEE Xplore