Login / Signup
Lockdown: Dynamic Control-Flow Integrity.
Mathias Payer
Antonio Barresi
Thomas R. Gross
Published in:
CoRR (2014)
Keyphrases
</>
control flow
data flow
process model
data sets
model checking
software testing
transition systems
artificial intelligence
case study
high level
information technology
data management
reactive systems