ASVAAN: Semi-automatic side-channel analysis of Android NDK. - Valerio Brussani (CoRR, 2022)