Friday, August 31, 2018

Amazon is quietly doubling down on cryptographic security - TechCrunch


TechCrunch

Amazon is quietly doubling down on cryptographic security
TechCrunch
One significant part of the work has been within a division of AWS called the Automated Reasoning Group, which focuses on identifying security issues and developing new tools to fix them for AWS and its customers based on automated reasoning, a branch ...