[PPT] - Masking against Side-Channel Attacks: a Formal Security Proof PowerPoint Presentation