The summer school on the "Foundations of Security" is a two week course for computer scientists and mathematicians interested in formal methods applied to software security. The program runs from Monday, June 16 to Thursday, June 26, 2003. The curriculum includes basic foundational material and advanced material for those interested in new research directions.