A privilege escalation vulnerability checking system for android applications | IEEE Conference Publication | IEEE Xplore