Formal Certification of Android Bytecode.

Hendra Gunadi Alwen Tiu Rajeev Goré

Published in: CoRR (2015)

Keyphrases

smart card
mobile devices
third party
formal model
malware detection
smart phones
formal methods
formal language
source code
virtual machine
e learning
open source
mobile applications
location aware