Login / Signup

Computational Soundness for Dalvik Bytecode.

Michael BackesRobert KünnemannEsfandiar Mohammadi
Published in: CCS (2016)
Keyphrases
  • smart card
  • database systems
  • data structure
  • databases
  • general purpose
  • computational power