Giancarlo Pellegrino
Giancarlo Pellegrino
Research
Research group
Publications
Scienceware
Funded Projects
Teaching
Open Positions
Internships/Assistants/Theses
Tags
"Dynamic Analysis"
"Property Graph Traversals"
"Property Graphs"
"Vulnerability Analysis"
"Web Security"
"Vulnerability Notification"
"Web Vulnerabilities"
"Cache Storage;virtual Machines;virtualisation;SCA Execution;shared Physical Resource Usage;shared Software Resource Usage;side-Channel Attack"
"Model-Based Security Testing"
"Model-Checking"
«
»
Cite
×