Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity - Yan Lin (Springer, 2021)