Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card. (Vulnerability detection into Java Card bytecode verifier)

Aymerick Savary. Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card. (Vulnerability detection into Java Card bytecode verifier). PhD thesis, University of Limoges, France, 2016. [doi]

Abstract

Abstract is missing.