Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
El-korashy, Sabry A.
2  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

SecurePtrs: Proving Secure Compilation with Data-Flow Back-..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
El-Korashy, Akram ; Blanco, Roberto ; Thibault, Jeremy... - p. 64-79 , 2022
Link: https://doi.org/10.1109/..
 
?
2

CapablePtrs: Securely Compiling Partial Programs Using the ..:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
El-Korashy, Akram ; Tsampas, Stelios ; Patrignani, Marco... - p. 1-16 , 2021
Link: https://doi.org/10.1109/..
 
1-2