research
∙
09/16/2022
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
Hardware supply-chain attacks are raising significant security threats t...
share
research
∙
05/29/2021
Revisiting Challenges for Selective Data Protection of Real Applications
Selective data protection is a promising technique to defend against the...
research
∙
12/23/2019
ARM Pointer Authentication based Forward-Edge and Backward-Edge Control Flow Integrity for Kernels
Code reuse attacks are still big threats to software and system security...
research
∙
05/25/2019