Architectural Support for Run-Time Validation of Control Flow Transfer. - Yixin Shi; Sean Dempsey; Gyungho Lee (ICCD, 2006)