关注
Akram El-Korashy
Akram El-Korashy
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
在 mpi-sws.org 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
182021
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
系统目前无法执行此操作，请稍后再试。
文章 1–8