The project “F2F – Families-to-Families for sharing children care” coordinated by Agostino Cortesi (co-PI: Pietro Ferrara) having the University of Trento as a partner has been approved and financed. It will last 6 months (June to December 2021).
FISR 2020 “F2F” project approved
May 18, 2021
Pietro Ferrara awarded by the 2020 AWS Automated Reasoning ARA program!
April 29, 2021
We are excited to announce that Pietro Ferrara’s 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.