BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments.
SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis