Control-Flow Recovery Validation Using Microarchitectural Invariants | Publicación