Login / Signup
PCFIRE: towards provable preventative control-flow integrity enforcement for realistic embedded software.
Jiaqi Tan
Hui Jun Tay
Utsav Drolia
Rajeev Gandhi
Priya Narasimhan
Published in:
EMSOFT (2016)
Keyphrases
</>
control flow
embedded software
data flow
development projects
software architecture
active rules
embedded systems
software testing
process model
workflow management systems
sequence diagrams
real world
access control
integrity constraints
modeling language
test cases
high level