Finding Cracks in Shields: On the Security of Control Flow Integrity Mechanisms.
Yuan LiMingzhe WangChao ZhangXingman ChenSongtao YangYing LiuPublished in: CCS (2020)
Keyphrases
- control flow
- data flow
- security mechanisms
- data integrity
- process model
- security issues
- digital images
- business process models
- information flow control
- transition systems
- trusted computing
- information security
- databases
- software testing
- workflow management systems
- integrity verification
- security requirements
- modeling language
- access control
- query language
- open source
- high assurance
- data model
- defense mechanisms
- artificial intelligence