Keyword:smali

Publications
K-Smali: an Executable Semantics for Program Verification of Reversed Android Applications Marwa Ziadia, Mohamed Mejri and Jaouhar Fattahi EasyChair Preprint 10387