Marco Patrignani. The Tome of Secure Compilation: Fully Abstract Compilation to Protected Modules Architectures ; Het boek van veilige compilatie: Volledig abstracte compilatie naar beschermende modulearchitecturen. PhD thesis, Katholieke Universiteit Leuven, Belgium, 2015. [doi]
Abstract is missing.