Follow
Akram El-Korashy
Akram El-Korashy
Engineering @ Meta
Verified email at meta.com
Title
Cited by
Cited by
Year
Towards Automatic Compartmentalization of C Programs on Capability Machines
S Tsampas, A El-Korashy, M Patrignani, D Devriese, D Garg, F Piessens
FCS 2017 Workshop on Foundations of Computer Security 2017, 2017
272017
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle
A El-Korashy, S Tsampas, M Patrignani, D Devriese, D Garg, F Piessens
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
192021
A Formal Model for Capability Machines: An Illustrative Case Study towards Secure Compilation to CHERI
A El-Korashy
Universität des Saarlandes Saarbrücken; Max Planck Institute for Software …, 2016
142016
Search space reduction for holistic ligature recognition in Urdu Nastalique script
A El-Korashy, F Shafait
2013 12th International Conference on Document Analysis and Recognition …, 2013
92013
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
A El-Korashy, R Blanco, J Thibault, A Durier, D Garg, C Hriţcu
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 64-79, 2022
62022
Compiling a secure variant of C to capabilities
A El-Korashy, S Tsampas, M Patrignani, D Devriese, D Garg, F Piessens
Dagstuhl Seminar 18201, 0
3
CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle (Technical Report)
A El-Korashy, S Tsampas, M Patrignani, D Devriese, D Garg, F Piessens
ON THE Π0 2-COMPLETENESS OF CONTEXTUAL EQUIVALENCE
A EL-KORASHY
The system can't perform the operation now. Try again later.
Articles 1–8