Fine-Grained Control-Flow Integrity for Kernel Software.
Xinyang GeNirupama TaleleMathias PayerTrent JaegerPublished in: EuroS&P (2016)
Keyphrases
- fine grained
- control flow
- data flow
- coarse grained
- software testing
- modeling language
- tightly coupled
- process model
- access control
- reactive systems
- software development
- workflow management systems
- artificial intelligence
- transition systems
- formal semantics
- massively parallel
- feature space
- test cases
- privacy policies
- machine learning