Award by the 2020 AWS Automated Reasoning ARA program!
I’m thrilled to announced that my proposal “IAM access control policies verification and inference” has been awarded by Amazon in the AWS Automated Reasoning call! The project will apply LiSA to the inference and verification of IAM access policies that specify permissions allowing or denying AWS resources to users. Feel free to reach me out…
Read More “Award by the 2020 AWS Automated Reasoning ARA program!” »