Conception, implémentation et preuve d'un service de transfert de flôt d'exécution au sein d'un noyau de système d'exploitation. (Conception, implementation and proof of an execution flow transfer service in an operating system's kernel)

Florian Vanhems. Conception, implémentation et preuve d'un service de transfert de flôt d'exécution au sein d'un noyau de système d'exploitation. (Conception, implementation and proof of an execution flow transfer service in an operating system's kernel). PhD thesis, University of Lille, France, 2023. [doi]