Login / Signup
Computational Soundness for Dalvik Bytecode.
Michael Backes
Robert Künnemann
Esfandiar Mohammadi
Published in:
CCS (2016)
Keyphrases
</>
smart card
database systems
data structure
databases
general purpose
computational power