Alzayat, Mohamed International Max Planck Research School, MPI for Informatics, Max Planck Society;
Alzayat, M. (2016). PolSim: Automatic Policy Validation via Meta-Data Flow Simulation. Master Thesis, Universität des Saarlandes, Saarbrücken.