13.1 Introduction13.2 Compiler Techniques for Copyrights and Watermarking13.3 Compiler Techniques for Code Obfuscation13.4 Compiler Techniques for Code Integrity13.5 Proof-Carrying Code and Authentication13.6 Static Analysis Techniques and Tools13.7 Information Flow Techniques13.8 Rule checking, Verification, and Run-time Support13.9 Language Modifications for Increased Safety and Security13.10 Conclusions and Future Work