$\mathbb {K}$-Smali: An Executable Semantics for Program Verification of Reversed Android Applications.

Marwa Ziadia Mohamed Mejri Jaouhar Fattahi

Published in: FPS (2021)

Keyphrases

attribute grammars
control flow
formal semantics
process algebra
semantic information
operational semantics
neural network
high level
data model
logic programming
conceptual model
formal specification
model theoretic