[PPT] - A Computationally Sound Mechanized Prover for Security Protocols P. PowerPoint Presentation