Conference papers

• 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 and Cătălin Hrițcu. To appear at the 2022 IEEE Computer Security Foundations Symposium (CSF).
  [Coq development: GitHub] [arXiv] [PriSC'22 talk: YouTube, slides (pdf)]


• CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle, Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg and Frank Piessens. Appeared at the 2021 IEEE Computer Security Foundations Symposium (CSF).
  [technical report] [talk: YouTube, slides (pdf)]

Workshop papers

• Towards Automatic Compartmentalization of C Programs on Capability Machines, Stelios Tsampas, Akram El-Korashy, Marco Patrignani, Dominique Devriese, Deepak Garg and Frank Piessens. Workshop on Foundations of Computer Security (FCS), 2017.

Theses

• A Formal Model for Capability Machines: An Illustrative Case Study towards Secure Compilation to CHERI, Akram El-Korashy. Master's Thesis, Universität des Saarlandes, September 2016.

Notes

• On the Π₂⁰-Completeness of Contextual Equivalence, Akram El-Korashy. Unpublished note, June 2017.

Activities

• PLDI 2022 AEC Member
• IEEE S&P 2020 Shadow PC Member
• IEEE S&P 2020 Poster Jury Member

News

• [Jan 2022] Gave a talk at PriSC 2022 [YouTube, slides (pdf)].
• [Dec 2021] Gave a talk at the Dagstuhl seminar on Secure Compilation.
• [Dec 2020] Finished a 3-month internship as Applied Scientist at Amazon Web Services. During the internship, I worked with Adam Petcher of AWS Cryptography and developed a static analysis tool that checks x86-assembly code for violations of constant-time programming.
• [Sep 2019] Attended the 2019 EUTypes Summer School.
• [Aug 2019] Started a 3-month software engineering internship at Google Zurich.
• [June 2019] At the ENTROPY 2019 workshop, I gave a short talk on A Fully-Abstract Translation of Pointers to Capabilities.
• [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.

Bio

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 a couple of courses: Cryptography and Artificial Intelligence.

Here is my CV.