El-Korashy, Akram International Max Planck Research School, MPI for Informatics, Max Planck Society;
El-Korashy, A. (2016). A Formal Model for Capability Machines An Illustrative Case Study towards Secure Compilation to CHERI. Master Thesis, Universität des Saarlandes, Saarbrücken.