Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems

Published in Best Paper Honorable Mention, ACM CCS, CCF-A, 2022