Keyword:K framework

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