RockJIT: Securing Just-In-Time Compilation Using Modular Control-Flow Integrity.

Ben Niu Gang Tan

Published in: CCS (2014)

Keyphrases

control flow
data flow
high assurance
process model
software testing
transition systems
reactive systems
information security
modeling language
knowledge compilation
artificial intelligence
workflow management systems
information technology
user interface
business process models