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]
@phdthesis{hal-8529,
title = {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)},
author = {Aymerick Savary},
year = {2016},
url = {https://tel.archives-ouvertes.fr/tel-01369017},
researchr = {https://researchr.org/publication/hal-8529},
cites = {0},
citedby = {0},
school = {University of Limoges, France},
}