Joe Stubbs, Smruti Padhy, Richard Cardone, Steve Black: CloudSec: An Extensible Automated Reasoning Framework for Cloud Security Policies. ACR 2024: 268-279