And in the case of AWS it is someone else's extremely well designed and managed computer and network.
And in the case of AWS it is someone else's extremely well designed and managed computer and network.
Usually the larger the company and the more mission critical the product: the worse the implementation.
Twitch source code (which, I guess counts as Amazon already), Disney leaks- and my own experience working with very large companies. (Nokia, Ubisoft, Facebook, Activision/Blizzard).
https://www.amazon.science/publications/cloud-resource-prote...
https://www.amazon.science/tag/formal-verification
https://aws.amazon.com/security/provable-security/resources/
https://www.amazon.science/blog/custom-policy-checks-help-de...
https://www.amazon.science/publications/formal-verification-...
AWS is an industry leader in using formal methods and automated reasoning to prove the security and reliability of critical software and detect insecure configurations
Happy to hear more.