Workshop Program

9:15-10:15

Plenary keynote: Prof. Ernesto Damiani (UNIMI)

10:15-10:45

Coffee break

10:45-11:00

Welcome

11:00-12:30

Session I: Security Validation and Verification
Chair: MariaGrazia Fugini

Antonio Maña, Antonio Muñoz, Javier González

Dynamic Security Monitoring for Virtualized Environments in Cloud Computing

Meiko Jensen, Christopher Meyer, Juraj Somorovsky, Joerg Schwenk

On the Effectiveness of XML Schema Validation for Countering XML Signature Wrapping Attacks

Michele Bezzi, Antonino Sabetta, George Spanoudakis

An Architecture for Certification-Aware Service Discovery

12:45-14:00

Lunch

14:00-15:00

Invited Talk: Luca Viganò
Chair: Claudio A. Ardagna

15:00-15:30

Session II: Security and Trust
Chair: Antonino Sabetta

Mariagrazia Fugini, George Hadjichristofi

Security and Trust in Cloud Scenarios

15:30-16:00

Coffee break

16:00-17:30

Session III: Security Mechanisms
Chair: Meiko Jensen

Francesco Pagano, Davide Pagano

Using In-Memory Encrypted Databases on the Cloud

David González Martínez, Enrique Argones Rúa, José Luis Alba Castro, Francisco Javier González Castaño, Daniel A. Rodríguez Silva

Secure Crypto-Biometric System for Cloud Computing

Sanjeev Pippal, Vishu Sharma, Shakti Mishra, D.S. Kushwaha

Secure and Efficient Multitenant Database for an Ad hoc Cloud

17:30-17:45

Closing Remarks