Authorization Enforcement Detection. - Ehood Porat; Shmuel Tikochinski; Ariel Stulman (SACMAT, 2017)