Computational Soundness for Dalvik Bytecode.

Michael Backes Robert Künnemann Esfandiar Mohammadi

Published in: CoRR (2016)

Keyphrases

smart card
information retrieval
computational models
genetic algorithm
knowledge base
video sequences
virtual machine