Sign in

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

Darius Andrei SuciuRadu 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