Akram El-Korashy

Akram El-Korashy

Max Planck Institute for Software Systems
Saarland Informatics Campus (SIC)

Email and contact info

I am a doctoral student with Deepak Garg in the Foundations of Computer Security group since November 2016.
In my masters thesis, I studied security guarantees attainable by careful use of a capability machine architecture called CHERI. I am currently working on secure compilation and I am broadly interested in language-based security.

Workshop papers




  • [May 2018] At the Dagstuhl seminar on Secure Compilation, I gave a talk on Compiling a secure variant of C to capabilities.
  • [April 2018] I am TA'ing a seminar on Secure Compilation which is led by Marco Patrignani.


Before joining IMPRS as a Masters student, I worked in automotive software and in web development for a little over a year. I studied Computer Science and Engineering at the German University in Cairo. During my undergraduate years, I did my Bachelor thesis at DFKI in Kaiserslautern in 2012, and I tutored a few undergraduate courses on programming and basic data structures. During my Masters study at Saarland, I also tutored Cryptography and Artificial Intelligence.