Search for persons
X
?
Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security ,
1
Multi-Tag: A Hardware-Software Co-Design for Memory Safety ..:
, In:
?
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) ,
2
SCFI: State Machine Control-Flow Hardening Against Fault At..:
, In:
?
Proceedings of the 11th International Workshop on Hardware and Architectural Support for Security and Privacy ,
3
SFP: Providing System Call Flow Protection against Software..:
, In:
?
Constructive Side-Channel Analysis and Secure Design; Lecture Notes in Computer Science ,
4
FIPAC: Thwarting Fault- and Software-Induced Control-Flow A..:
, In:
?
Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security ,
5
HECTOR-V: A Heterogeneous CPU Architecture for a Secure RIS..:
, In:
?
Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security ,
6
CrypTag: Thwarting Physical and Logical Memory Vulnerabilit..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
7
Small Faults Grow Up - Verification of Error Masking Robust..:
, In:
?
Proceedings of the 34th Annual Computer Security Applications Conference ,
8
Pointing in the Right Direction - Securing Memory Accesses ..:
, In:
?
Proceedings of the Fourth Workshop on Cryptography and Security in Computing Systems ,
10