Akram El-Korashy

Akram El-Korashy

Max Planck Institute for Software Systems
Saarland Informatics Campus (SIC)
Campus E1 5
66123 Saarbrücken
Germany

Email: first [dot] last [at] mpi-sws [dot] org
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

Theses

Notes