@misc{indiciaeafeceab103c3,
  title = {CloudSec: An Extensible Automated Reasoning Framework for Cloud Security Policies},
  author = {Joe Stubbs and Smruti Padhy and Richard Cardone and Steven Black},
  year = {2023},
  url = {https://arxiv.org/abs/2307.05745},
  note = {Source identifier: 2307.05745}
}