[PPT] - Formal verification of an implementation of CRT-RSA Vigilants PowerPoint Presentation