Search Space Reduction for Holistic Ligature Recognition in Urdu Nastalique Script. - Akram El-Korashy; Faisal Shafait (ICDAR, 2013)

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. - Akram El-Korashy; Stelios Tsampas 001; Marco Patrignani; Dominique Devriese; Deepak Garg 001; Frank Piessens (CSF, 2021)

SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. - Akram El-Korashy; Roberto Blanco; Jérémy Thibault; Adrien Durier; Deepak Garg 001; Catalin Hritcu (CSF, 2022)