Droidsentry: Efficient Code Integrity and Control Flow Verification on TrustZone Devices.

Darius Andrei Suciu Radu Sion

Published in: CSCS (2017)

Keyphrases

control flow
data flow
model checking
embedded systems
mobile devices
software testing
cooperative
training set
test set
modeling language