Title: Program Transformation Techniques for Enhancing Software Security (Synthesis Lectures on Information Security, Privacy, and Trust)