Georges-Axel Jaloyan. A semantic approach to machine-level software security. (Une approche sémantique à la sécurité logicielle niveau machine). PhD thesis, PSL University, Paris, France, 2021. [doi]
@phdthesis{hal-18602,
title = {A semantic approach to machine-level software security. (Une approche sémantique à la sécurité logicielle niveau machine)},
author = {Georges-Axel Jaloyan},
year = {2021},
url = {https://tel.archives-ouvertes.fr/tel-04023324},
researchr = {https://researchr.org/publication/hal-18602},
cites = {0},
citedby = {0},
school = {PSL University, Paris, France},
}