[Om-announce] FPS 2015 Call for Participation (Registration ends October 19, 2015)

[FPS cfp]

[apologies for cross-posting]

CALL FOR PARTICIPATION
======================

*********************************************************************
 8th International Symposium on Foundations & Practice of Security
   (FPS 2015), Clermont-Ferrand, France, 26-28 October 2015.
*********************************************************************

** Registration ends October 19, 2015 **


ABOUT THE CONFERENCE
====================

The Foundations & Practice of Security (FPS) Symposium started as a
Franco-Canadian meeting sponsored by MITACS, INRIA and Institut
Mines-Telecom, and has since 2011 grown to be an international event
on its own. After the previous meetings held in La Rochelle, Montreal,
Grenoble, Toronto and Paris, this 8th edition of the FPS symposium
will be held in Clermont-Ferrand, France.

The aim of FPS is to discuss and exchange theoretical and practical
ideas that address security issues in inter-connected systems. It aims
to provide scientific presentations as well as to establish links,
promote scientific collaboration, joint research programs, and student
exchanges between institutions involved in this important and fast
moving research field.

PROGRAM
=======

MONDAY October 26

10:00 - 10:30 Welcome Coffee

10:30 - 11:00 Opening & Symposium Information

11:00 - 12:00 Keynote Talk

Optimization Problems in Infrastructure Security.
By Evangelos Kranakis (Carleton University, Ottawa, Canada).

12:00 - 14:00 Lunch
14:00 - 15:30 Session 1: RFID, Sensors & Secure Computation

    - Survey of Distance Bounding Protocols and threats.
    By Agnès Brelurut and Pascal Lafourcade.

    - Inferring Touch From Motion in Real World Data.
    By Pascal Bissig, Philipp Brandes, Jonas Passerini and Roger
    Wattenhofer.

    - Point-counting method for embarrassingly parallel evaluation in
      secure computation.
    By Toomas Krips and Jan Willemson.

15:30 - 16:00 Coffee Break

16:00 - 17:15 Session 2: Short Papers I

    - Security Enforcement by Rewriting: An Algebraic Approach (short paper).
    By Guangye Sui and Mohamed Mejri.
    - Runtime Monitoring of Stream Logic Formulae (short paper).
    By Sylvain Halle and Raphael Khoury.
    - MIME - A Formal Approach for Multiple Investigation in (Android)
    Malware Emulation Analysis (short paper).
    By Fabio Bellini, Roberto Chiodi and Isabella Mastroeni.

17:15 - 17:20 Closing Remarks Day 1


TUESDAY October 27
08:30 - 16:00 Registration
09:00 - 10:00 Keynote Talk

    Secure distributed computation on private inputs.
    By David Pointcheval (Ecole Normale Superieure, Paris, France).

10:00 - 10:30 Coffee Break

10:30 - 12:00 Session 3: Security Policies & Biometrics

    - Security mechanisms planning to enforce security policies.
    By Anis Bkakria, Frederic Cuppens, Nora Cuppens-Boulahia and
    David Gross-Amblard.
    - Runtime Enforcement With Partial Control.
    By Raphael Khoury and Sylvain Halle.
    - Privacy-preserving fuzzy commitment for biometrics via layered
    error-correcting codes.
    By Yasuda Masaya, Takeshi Shimoyama, Narishige Abe, Shigefumi
    Yamada, Takashi Shinzaki and Takeshi Koshiba.

12:00 - 14:00 Lunch
14:00 - 15:15 Session 4: Short Papers II

    - Information Classification Enablers (short paper).
    By Erik Bergstrom and Rose-Mharie Åhlfeldt.
    - Information Flow Control on a Multi-Paradigm Web Application for
    SQL Injection Prevention (short paper).
    By Meriam Talbi, François Lesueur and Gaetan Perrin.
    - Searchable Encryption in Apache Cassandra (short paper).
    By Tim Waage, Ramaninder Singh Jhajj and Lena Wiese.

15:15 - 15:30 FPS 2016 announcement
15:30 - 16:00 Coffee & End Day 2
17:00 - 22:00 Visit Old Clermont-Ferrand (place Jaude) & Banquet

WEDNESDAY October 28

09:00 - 10:30 Session 5: Evaluation of Protocols and Obfuscation Security

    - AnBx: Automatic Generation and Verification of Security
      Protocols Implementations.
    By Paolo Modesti.
    - Performance Evaluations of Cryptographic Protocols. Verification
      Tools Dealing with Algebraic Properties.
    By Pascal Lafourcade and Maxime Puys.
    - Evaluating Obfuscation Security: A Quantitative Approach.
    By Rabih Mohsen and Alexandre Pinto.

10:30 - 11:00 Coffee Break
11:00 - 12:15 Session 6: Short Papers III

    - AndroSSL: A Platform to Test Android Applications Connection
      Security (short paper).
    By François Gagnon, Marc-Antoine Ferland, Marc-Antoine Fortier,
    Simon Desloges, Jonathan Ouellet and Catherine Boileau.
    - Onion Routing in Deterministic Delay Tolerant Networks (short paper).
    By Adrian Antunez-Veas and Guillermo Navarro-Arribas.
    - Improving electromagnetic leakage planar cartography with
    frequency or distance analysis (short paper).
    By Denis Real.

12:10 - 14:00 Lunch
14:00 - 15:30 Session 7: Spam Emails & Malware

    - Fast and Effective Clustering of Spam Emails based on Structural
      Similarity.
    By Mina Sheikhalishai, Andrea Saracino, Mohamed Mejri, Nadia Tawbi
      and Fabio Martinelli.
    - A Closer look at the HTTP and P2P based Botnets from a
      Detector's Perspective.
    By Fariba Haddadi and A. Nur Zincir-Heywood.
    - Obfuscation code localization based on CFG generation of malware.
    By Minh Hai Nguyen, Mizuhito Ogawa and Tho Quan Thanh.

15:30 - 16:00 Farewell & Coffee


REGISTRATION
============

Registration information is available at:

http://confiance-numerique.clermont-universite.fr/fps2015/registration.html

Registration ends 19 October 2015.


HOTEL AND TRAVEL
================

Information on the conference venue is available at:

http://confiance-numerique.clermont-universite.fr/fps2015/venue.html


MORE INFORMATION
================

Additional information about the conference is available at:

http://confiance-numerique.clermont-universite.fr/fps2015/