Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks | IEEE Conference Publication | IEEE Xplore