Program | FPS'2013

FPS’2013 Programme

Sunday, October 20^th
19:00 – 20:00 Welcome drinks and Early Registration
Monday, October 21^st
8:30 – 9:00 Registration
9:00 – 9:15 Welcome – Introduction
9:15 – 10:15 Invited talk: Jean Goubault-Larrecq Does mathematical rigor have its place in intrusion detection?
10:15 – 10:45 Break
10:45 – 11:55 Session 1: Security Protocols Position Paper : On the Feasibility of a Censorship Resistant Decentralized Naming System Matthias Wachs, Martin Schanzenbach and Christian Grothoff. A General Framework for Group Authentication and Key Exchange Protocols Huihui Yang, Lei Jiao and Vladimir Oleshchuk. Modelling Simultaneous Mutual Authentication for Authenticated Key Exchange Zheng Yang.
11:55 – 12:45 Session 2: Formal Methods Model-based Specification and Validation of Security and Dependability Patterns Brahim Hamid. Enforcing information flow by combining static and dynamic analysis Andrew Bedford, Josée Desharnais, Théophane Godonou and Nadia Tawbi.
12:45 – 14:15 Lunch
14:15 – 15:45 Tour of La Rochelle
15:45 – 16:15 Break
16:15 – 17:30 Session 3: Physical Security Fault Injection to Reverse Engineer DES-like Cryptosystems Hélène Le Bouder, Sylvain Guilley, Bruno Robisson and Assia Tria Software Camouflage Sylvain Guilley, Damien Marion, Youssef Souissi and Antoine Wurcker. Investigation of Parameters Influencing the Success of Optical Fault Attacks Thomas Korak.
17:30 – 18:15 Session 4: Attack Classification and Assessment ONTIDS: A highly flexible context-aware and ontology-based alert correlation framework Alireza Sadighian, José M. Fernandez, Antoine Lemay and Saman Taghavi Zargar. Quantitative Evaluation of Enforcement Strategies (Position Paper) Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci and Charles Morisset.
18:15 – 19:30 Session 5: Access Control Collusion Resistant Inference Control for Cadastral Databases Firas Al Khalil, Alban Gabillon and Patrick Capolsini. Leveraging Ontologies upon a Holistic Privacy-aware Access Control Model Eugenia Papagiannakopoulou, Maria Koukovini, Georgios Lioudakis, Nikolaos Dellas, Joaquin Garcia-Alfaro, Dimitra Kaklamani, Iakovos Venieris, Nora Cuppens-Boulahia and Frédéric Cuppens. Content-based Protection and Release for Access Control in NATO Operations Alessandro Armando, Sander Oudkerk, Silvio Ranise and Konrad Wrona.
20:00 – 23:00 Gala Diner
Tuesday, October 22^nd
9:00 – 10:00 Invited talk: Bruno Crispo Attacks on The Internet of Things: Why Your Actual Antivirus Suite won’t Work.
10:00 – 10:30 Break
10:30 – 11:45 Session 6: Cipher Attack Computational Soundness of Symbolic Blind Signatures under Active Attacker Hideki Sakurada. Improved Davies-Murphy’s Attack on DES Revisited Yi Lu and Yvo Desmedt. Yet Another Fault-Based Leakage in Non-Uniform Faulty Ciphertexts Yang Li, Yu-Ichi Hayashi, Arisa Matsubara, Naofumi Homma, Takafumi Aoki, Kazuo Ohta and Kazuo Sakiyama.
11:45 – 13:00. Session 7: Ad-hoc and Sensor Networks A Hierarchal Anti-Counterfeit Mechanism: Securing the Supply Chain using RFIDs Zeeshan Bilal and Keith Martin. A More Realistic Model For Verifying Route Validity in Ad-Hoc Networks Ali Kassem, Pascal Lafourcade and Yassine Lakhnech. On the Security of a Privacy-Preserving Key Management Scheme for Location Based Services in VANETs Bao Liu, Lei Zhang and Josep Domingo-Ferrer.
13:00 – 14:30 Lunch
14:30 – 15:45 Session 8: Resilience CheR: Cheating Resilience in the Cloud via Smart Resource Allocation Roberto Di Pietro, Flavio Lombardi, Fabio Martinelli and Daniele Sgandurra. Evaluation of Software-Oriented Block Ciphers on Smartphones Lukas Malina, Vlastimil Clupek, Zdenek Martinasek, Jan Hajny and Vaclav Zeman. Don’t Push it: Breaking iButton Security Michael Kasper and Christian Brandt.
15:45 – 16:15 Break
16:15 – 17:30 Session 9: Intrusion Detection Attacking IDS by Characterizing their Inputs Raphaël Jamet and Pascal Lafourcade. On the Reverse Engineering of the Citadel Malware Ashkan Rahimian, Raha Ziarati, Stere Preda and Mourad Debbabi. The Carna Botnet Through the Lens of a Network Telescope Erwan Le Malecot and Daisuke Inoue.

Quick information

Sponsors

Search