Cook, B; (2018) Formal reasoning about the security of amazon web services. In: Chockler, H and Weissenbacher, G, (eds.) Proceedings of International Conference on Computer Aided Verification CAV 2018. (pp. pp. 38-47). Springer: Cham.