Introduction to Provable Security slides and notes