Akram El-Korashy | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Deepak Garg
26 publications
Marco Patrignani
17 publications
Catalin Hritcu
15 publications
Frank Piessens
12 publications
Dominique Devriese
12 publications
Stelios Tsampas
9 publications
Roberto Blanco
6 publications
Adrien Durier
4 publications
Jérémy Thibault
4 publications

research

∙ 10/04/2021

SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation

Proving secure compilation of partial programs typically requires back-t...

0 Akram El-Korashy, et al. ∙

research

∙ 05/12/2020

CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle

Capability machines such as CHERI provide memory capabilities that can b...

0 Akram El-Korashy, et al. ∙