Akram El-Korashy
According to our database1,
Akram El-Korashy
authored at least 3 papers
between 2013 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation.
Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022
2021
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle.
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021
2013
Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013