[PPT] - Security Models: Proofs, Protocols and Certification Florent Autrau PowerPoint Presentation