Search for persons
X
?
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification ,
6
Encapsulated Functions: Fortifying Rust's FFI in Embedded S..:
, In:
?
2023 IEEE Symposium on Security and Privacy (SP) ,
10