On Bridging the Gap between Control Flow Integrity and Attestation Schemes. - Mahmoud Ammar; Ahmed Abdelraoof; Silviu Vlasceanu (USENIX Security Symposium, 2024)