Search for persons
X
?
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 ,
4
Verifying Rust Implementation of Page Tables in a Software ..:
, In:
?
Proceedings of the Great Lakes Symposium on VLSI 2024 ,
5
HMNTT: A Highly Efficient MDC-NTT Architecture for Privacy-..:
, In:
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
8
OOM-Guard: Towards Improving the Ergonomics of Rust OOM Han..:
, In:
?
2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) ,
11
Mind Your Enclave Pointers! Detecting Privacy Leaks for SGX..:
, In:
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
12