Automatic Detection of Android Steganography Apps via Symbolic Execution and Tree Matching | IEEE Conference Publication | IEEE Xplore