FPS’2013 Programme

Sunday, October 20th
19:00 – 20:00
Welcome drinks and Early Registration
Monday, October 21st
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, Josée Desharnais, Thé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 22nd
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

VISA information

Invitation Letter Request Form

Registration is closed

Symposium date/place:
21st-22nd October 2013,
La Rochelle, France.

Full Paper Submission:
July 15th, 2013 deadline extension

Position Paper Submission:
July 15th, 2013 deadline extension

Acceptance Notification:
August 27th, 2013

Camera ready:
September 27th, 2013

Sponsors