Software security : what role can programming languages play?

How can software resist attacks and malicious use ? The lecture will look at software security from the angle of programming languages and their typing, static analysis and deductive verification techniques. We will attempt to characterize the contribution of these approaches to software security, as well as their limitations.