A New Job at AWS
Phil Windley
OCTOBER 1, 2022
The job is in AWS Identity, and involves automated reasoning (formal methods). AWS re:Inforce 2022 - High assurance with provable security (click to play). Tags: identity aws security formal+methods automated+reasoning. I've been dark for a few weeks. Things have been busy. researchers. I'm excited to be working on it.
Let's personalize your content