Formal Certification of Non-interferent Android Bytecode (DEX Bytecode).

Published in: ICECCS (2015)

Keyphrases

smart card
virtual machine
java card
source code
java virtual machine
mobile devices
third party
programming language
java bytecode
social networks
operating system
application domains
formal specification
garbage collection