Urmăriți
Akram El-Korashy
Akram El-Korashy
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
Adresă de e-mail confirmată pe mpi-sws.org - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
162021
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
52022
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
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–8