Login / Signup
Enforcing Forward-Edge Control-Flow Integrity in GCC & LLVM.
Caroline Tice
Tom Roeder
Peter Collingbourne
Stephen Checkoway
Úlfar Erlingsson
Luis Lozano
Geoff Pike
Published in:
USENIX Security Symposium (2014)
Keyphrases
</>
control flow
data flow
software testing
process model
edge detection
transition systems
workflow management systems
formal semantics
business process models
data structure
modeling language
artificial intelligence
software development
reactive systems