AWS Podcast

#266: Next Generation Security with Automated Reasoning, an Artificial Intelligence Technology

AWS is implementing next generation security technology backed by automated reasoning, which uses mathematical logic to provide higher levels of security assurance. Automated reasoning automates the detection of entire classes of misconfigurations that could potentially expose vulnerable data, relieving customers from managing increasingly granular…