Ovaldroid: An OVAL-based vulnerability assessment framework for Android | IEEE Conference Publication | IEEE Xplore