Blanco, Roberto A.
29449  Ergebnisse:
Personensuche X
?
7

Formalizing Stack Safety as a Security Property:

, In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF),
 
?
10

Contemporary use of cefazolin for MSSA infective endocardit..:

Herrera-Hidalgo, Laura ; Muñoz, Patricia ; Álvarez-Uría, Ana...
International Journal of Infectious Diseases.  137 (2023)  - p. 134-143 , 2023
 
?
15

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

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
 
1-15