CrossFyre 2017
29 - 30 April 2017
Paris - France


Workshop Program


This is a tentative program for our workshop. Please be advised that this program may still be subject to change. You will receive an email prior to your arrival indicating that the program has been finalized. Alternatively, be on the lookout on our homepage for an early confirmation!



Saturday, 29 April 2017

    09:00-09:20 Registration
    09:20-09:30 Introduction and Welcome
    9:30-10:30 APPLICATIONS
    (i) Reliability and topology-failure detection , Ammara Gul
    (iii) Regulations for Medical devices, Romina Muka
    10:30-11:00 Coffee Break
    11:00-12:00 KEYNOTE TALK I
    From Formal Verification to Cryptography, From Academia to Industry and Back: The Journeys of a Researcher , Ioana Boureanu
    12:00-13:15 Lunch
    13:15-14:15 KEYNOTE TALK II
    How not to implement Diffie-Hellman , Nadia Heninger
    14:15-15:45 PRIVACY
    (i) Distributed storage and cloud computing with Rational providers, Giulia Traverso
    (ii) Towards Blockchain Transaction Privacy, Rebekah Mercer
    (ii) Round-Efficient Multi-Party Computation via Delayed-Input Non-Malleable Zero Knowledge, Luisa Siniscalchi
    15:45-16:00 Coffee Break
    16:00-17:45 Panel Discussion
    19:00-20:30 Workshop Dinner at the Crêperie Alizée in the Latin quarter (reserved for speakers, invited speakers, organizers, and panel members) See menu here and an explanation of our arrangements here.

Sunday, 30 April 2017

    09:00-15:30 IMPLEMENTATIONS
    (i) Obstacles to the Adoption of Secure Communication Tools, Ruba Abu-Salma
    (i) DES S-box generator , Lauren De Meyer
    (ii) The Mifare Plus distance-bounding implementation, Rokia Lamrani Alaoui
    10:30-11:00 Morning Break
    11:00-12:00 KEYNOTE TALK III
    To be announced , Catuscia Palamidessi
    12:00-14:00 Lunch





Co-organized by COST Action IC1306

Sponsors


© 2017 Inria
Last modified on 23/11/2017