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 enterprise security controls. Byron Cook, Director of the Automated Reasoning Group, shares how automated reasoning is being leveraged across AWS, in areas such as verifying cryptographic protocols, deeper data protection measures and streamlining enterprise governance. https://aws.amazon.com/security/provable-security/