Control-Flow Integrity: Precision, Security, and Performance.
Nathan BurowScott A. CarrStefan BrunthalerMathias PayerJoseph NashPer LarsenMichael FranzPublished in: CoRR (2016)
Keyphrases
- control flow
- data flow
- integrity verification
- trusted computing
- data integrity
- high assurance
- software testing
- information flow control
- information security
- access control
- data confidentiality
- process model
- transition systems
- modeling language
- workflow management systems
- information flow
- network security
- data security
- artificial intelligence
- data protection
- reactive systems
- knowledge representation
- data sets