9h00 – 9h10 : Introduction
9h10 – 10h : Session 1 – Federated Clouds / Fédérations de clouds
- Towards Supercloud Computing: User-Centric Security Management for Clouds of Clouds / Supercloud computing : vers une gestion de la sécurité centrée utilisateur pour environnements multi-clouds
Marc Lacoste - Towards an autonomous and distributed security management of federated Clouds / Vers une administration autonome et répartie de la sécurité des fédérations de Clouds
Christian Toinard
10h00 – 10h30 : Coffee Break / Pause café
10h30 – 12h10 : Session 2 – Secure Cloud Infrastructures / Infrastructures de cloud sécurisées
- Applications of formal verification for secure Cloud environments at CEA LIST
Nikolai Kosmatov - Seeking cloud security under-the-hood: building a data-center trusted execution environment / À la recherche de la sécurité du cloud sous-le-capot: la construction d’un environnement d’exécution de confiance pour data-centre
Vicente Sanchez-Leighton - How Alice can protect her data on the cloud? – A cryptographic approach / Comment Alice peut-elle protéger ses données dans le cloud ? – Une approche cryptographique
Sébastien Canard - Security Challenges and Opportunities in Software Defined Networks / Gestion de la sécurité dans les réseaux SDN : Enjeux et Opportunités
Nizar Kheir
12h10 – 13h30 : Lunch Break / Pause déjeûner
13h30 – 14h30 : Session 3 – SLA
- Towards a conformance audit of SLAs for data integrity and availability in Cloud storage / Vers un audit de conformité des SLAs pour l’intégrité et la disponibilité des données dans le Cloud
Jean Leneutre - Security of information systems hosted in clouds: definition and enforcement of SLAs in a dynamic environment / Sécurité des systèmes d’information hébergés dans les clouds : définition et garantie de SLA dans un environnement dynamique
Christine Morin
14h30 – 15h00 : Session 4.1 – Intrusion Detection / Détection d’intrusions
15h00 – 15h30 : Coffee Break / Pause café
15h30 – 16h00 : Session 4.2 – Intrusion Detection / Détection d’intrusions
- Detection of virtual machine monitor corruptions; Evaluation of intrusion detection mechanisms deployed in clouds / Détection de compromission de gestionnaires de machines virtuelles ; Évaluation des mécanismes de détection d’intrusion déployés dans un Cloud
Vincent Nicomette
16h00 – 16h30 : Session 5 – Students Presentations / Présentations d’étudiants
- Spécification et analyse formelle des politiques de sécurité dans le cloud computing – paper / slides
Asma Guesmi - Nested Virtualization meets Micro-Hypervisors: Towards a Virtualization Architecture for User-Centric Multi-Clouds – paper / slides
Alex Palesandro, Marc Lacoste, Chirine Ghedira Guegan and Nadia Bennani - Towards an Implementation of a Blind Hypervisor – paper / slides
Mehdi Aichouch and Moha Ait Hmid - Semantic monitoring mechanisms dedicated to security monitoring in IaaS cloud – paper / slides
Yacine Hebbal, Sylvie Laniepce and Jean-Marc Menaud - Self Adaptation in Security Monitoring for IaaS clouds – paper / slides
Anna Giannakou, Louis Rilling, Frédéric Majorczyk, Jean-Louis Pazat and Christine Morin
