Linked Presentation: PTAuth: Temporal Memory Safety via Robust Points-to AuthenticationFinding Bugs Using Your Own Code: Detecting Functionally-similar yet Inconsistent Code
