Pietro Ferrara (Ca' Foscari University of Venice).JPG

Pietro Ferrara

Ca' Foscari University of Venice
2020 Amazon Research Award
IAM access control policies verification and inference
Research topic
Automated reasoning