Search for persons
X
?
2024 IEEE Workshop on Design Automation for CPS and IoT (DESTION) ,
7
Libpanda Apps: Managing the Deployment and Reuse of a Cyber..:
, In:
?
2023 IEEE 41st International Conference on Computer Design (ICCD) ,
8
Architectural Contracts for Safe Speculation:
, In:
?
2020 IEEE Symposium on Security and Privacy (SP) ,
10
Cornucopia: Temporal Safety for CHERI Heaps:
, In:
?
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems ,
11
CheriABI : Enforcing Valid Pointer Provenance and Minimi..:
, In:
?
Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture ,
12