Giancarlo Pellegrino
Giancarlo Pellegrino
Research
Research group
Publications
Scienceware
Funded Projects
Open Positions
Internships/Assistants/Theses
Teaching
Tags
"Model-Based Security Testing"
"Model-Checking"
"OpenID"
"SAML SSO"
"Security Protocols"
"Single Sign-On"
"Vulnerability"
"Program Testing;program Verification;Web-Based Application;model Checking;security Testing"
Browser Security
Datasets
«
»
Cite
×