On the Effectiveness of Type-based Control Flow Integrity. - Reza Mirzazade Farkhani; Saman Jafari; Sajjad Arshad; William K. Robertson; Engin Kirda; Hamed Okhravi (ACSAC, 2018)