Rina Zeitoun. Algebraic methods for security analysis of cryptographic algorithms implementations. (Méthodes algébriques pour l'analyse de sécurité des implantations d'algorithmes cryptographiques). PhD thesis, Pierre and Marie Curie University, Paris, France, 2015. [doi]
Abstract is missing.