AWS's automated reasoning tools provide higher security at scaleamazon.science2 pointsrweckel6 years ago