Open AccessA Provably-Correct Micro-Dalvik Bytecode Verifier
Author(s) -
Nan Jiang,
He Yanxiang,
Zhang Xiaotong,
Rui Liu,
Shen Yunfei
Publication year - 2016
Publication title -
international journal of security and its applications
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2092-1497
pISSN - 1738-9976
DOI - 10.14257/ijsia.2016.10.9.20
Subject(s) - bytecode , computer science , programming language , java