iOracle: Automated Evaluation of Access Control Policies in iOS. - Luke Deshotels; Razvan Deaconescu; Costin Carabas; Iulia Manda; William Enck; Mihai Chiroiu; Ninghui Li; Ahmad-Reza Sadeghi (AsiaCCS, 2018)