RedLine13, AWS, and other Cloud Platforms