3 ms·How AWS uses automated reasoning to help you achieve security at scale1 points by ghettoimp 8y ago