Akram El-Korashy, profile picture

Akram El-Korashy

6 Slideshow
Sort by
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
porAkram El-Korashy
 
Towards using Capability Machines for Secure Compilation - CHERI
porAkram El-Korashy
 
Memory Networks, Neural Turing Machines, and Question Answering
porAkram El-Korashy
 
Language-Based Information-Flow Security
porAkram El-Korashy
 
Search space reduction for holistic ligature recognition in Urdu Nastaliq script (Bachelor thesis presentation)
porAkram El-Korashy
 
Bitcoins Math
porAkram El-Korashy