A semantic approach to machine-level software security. (Une approche sémantique à la sécurité logicielle niveau machine)

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]

Abstract

Abstract is missing.