@misc{indiciaeb01977ed01ba, title = {CloudSafe: A Tool for an Automated Security Analysis for Cloud Computing}, author = {Seoungmo An and Taehoon Eom and Jong Sou Park and Jin B. Hong and Armstrong Nhlabatsi and Noora Fetais and Khaled M. Khan and Dong Seong Kim}, year = {2019}, url = {https://arxiv.org/abs/1903.04271}, note = {Source identifier: 1903.04271} }