[PPT] - Provable Security Evaluation of Structures against Impossible PowerPoint Presentation