In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication.
Sungbae YooJinbum ParkSeolheui KimYeji KimTaesoo KimPublished in: USENIX Security Symposium (2022)
Keyphrases
- control flow
- data flow
- integrity verification
- kernel function
- data structure
- software testing
- fragile watermarking scheme
- transition systems
- process model
- workflow management systems
- modeling language
- support vector
- business process models
- fragile watermarking
- real world
- design process
- trusted platform module
- learning algorithm