Jae-Won Jang, Freek Verbeek, Binoy Ravindran: Verification of Functional Correctness of Code Diversification Techniques. NFM 2021: 160-179