Modelisation et validation des générateurs aléatoires cryptographiques pour les systèmes embarqués. (Modeling and validation of cryptographic random generators for embedded systems). - Kevin Layat (2015)