Giancarlo Pellegrino
Giancarlo Pellegrino
Research
Research group
Publications
Scienceware
Funded Projects
Teaching
Open Positions
Internships/Assistants/Theses
1
On the Feasibility of Side-Channel Attacks in a Virtualized Environment
Towards a framework for assessing the feasibility of side-channel attacks in virtualized environments
Toward Black-Box Detection of Logic Flaws in Web Applications
A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
Model-Checking Driven Security Testing of Web-Based Applications
«
Cite
×