In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication.
Sungbae YooJinbum ParkSeolheui KimYeji KimTaesoo KimPublished in: CoRR (2021)
Keyphrases
- control flow
- data flow
- integrity verification
- process model
- fragile watermarking scheme
- kernel function
- software testing
- fragile watermarking
- data structure
- transition systems
- business process models
- support vector
- reactive systems
- workflow management systems
- formal semantics
- database
- modeling language
- feature space
- learning algorithm
- information systems
- database management systems
- databases
- software engineering