Heads
Members
Students
Daniele Calvo
Bachelor's Student
University of Trento
Threat Modeling by Leveraging Agentic AI
Filippo Grilli
Master's Student
University of Trento
Security Analysis of Identity Managament Protocols
Lorenzo Zarantonello
Bachelor's Student
University of Trento
Automatic Security Testing Tool for Identity Management Protocols
Nizar Nadif
Bachelor's Student
University of Trento
Context-free grammar for TLS validation