G. Pellegrino

Latest

• Towards a framework for assessing the feasibility of side-channel attacks in virtualized environments
• Model-Checking Driven Security Testing of Web-Based Applications