Research and Exchange Days

Abstract

A two-day plenary session of the Security and Systems team dedicated to scientific presentations and discussions.

Program

22/10 : Salle 303 (KB3) (10h - 12h30)

  • Topic: Post-Quantum Cryptography
    • Part I: Introduction + Cryptanalysis
      • 10h30 : Ludovic Perret, General introduction : ''Quantum-Safe Cryptography @LRE''
    • Part I: Cryptanalysis
      • 10h50 : Martina Vigorito, ''On the Security of MQ-based ZKPoK in the Multi-Instance Setting''
      • 11h20 : Loïc Rouquette, ''TAGADA: Tool for Automatically Generation of Abstraction-Based Differential Attacks''
      • 11h50 : Mohamed Malhou, ''AI for Code-based Cryptography''
      • 12h10 : Ulysse Dupont-Latapie, ''Algorithmique quantique pour la forensique judiciaire numérique''

22/10 : Salle Apprentissage 1 (14h00 - 19h00)

  • Topic: Post-Quantum Cryptography

    • Part II : Design
      • 14h00 : Simon Abelard, ''A Bandwidth-efficient Broadcast Encryption Scheme''
      • 14h40 : Dayane Harkos, ''All Or Nothing Transform - Secret Sharing (AONT-SS) A new secure multi-cloud storage scheme''
    • Part III : Transition to Quantum-Safe
      • 15h00 : Hugo Mayer, ''Implementation of PQC in DNSSEC protocol''
      • 15h20 : Ludovic Perret and Christopher Bonnelly, ''Quantum-Safe Cryptography and Humanities''
  • Topic : Detection and Evaluation

    • 15h45 : Pierre Parrend, ''Detection and Evaluation @LRE, Resulats and perspectives''

    • 16h15 : Majed Jaber, ''Structural and spectral analysis of dynamic graphs for attack detection''

    • 17h : Julien Michel, ''Trustworthy Graph Analysis at Scale for Detection of Cybersecurity Anomalies''

    • 17h45 : Abdul Qadir Khan, ''Parallelized Derivation Algorithm for Anomaly Detection in Internet of Things Environments''

    • 18h15 - 19h : open discussion, evolution of the axis

23/10 : Salle Apprentissage 1 (09h00 - 17h00)

  • Topic : Safety and security of complex systems (9h00 - 12h30)
    • 9h00 : Riadh Robbana, ''General introduction''
    • 9h20 : Christian Elloh Adja, ''Security of Web 3''
    • 9h40 : Marc Espie, ''DPB: one protocol to build them all''
    • 10h10 : Ghada Gharbi, ''Security of communications in IoT applications''
    • 10h45 : Walid Ghandour, ''Binary Analysis : Performance and Security''
    • 11h05 : 12h00 : open discussion, evolution of the axis
  • Cross-axes projects (14h00 - 17h00)
    • Team objectives and responses to HCERES feedback
    • Projets transverses entre axes
      • Study of Malware Evasive Techniques
      • Testing malware analysis techniques using static binary rewriting
      • Secure-by-Construction Processors
    • Software dissemination
      • Artifacts: software (published and maintained); datasets
    • Fundraising
      • Types of funding
      • Timeline
      • ​​Organization
      • Project ideas

Speakers

Pierre Parrend

Team - Security and Systems

Ludovic Perret

Team - Security and Systems

Riadh Robbana

Team - Security and Systems

Martina Vigorito

Team - Security and Systems

Loïc Rouquette

Team - Security and Systems

Mohamed Malhou

Team - Security and Systems

Ulysse Dupont-Latapie

Team - Security and Systems

Simon Abelard

Team - Security and Systems

Dayane Harkos

Team - Security and Systems

Hugo Mayer

Christopher Bonnelly

Majed Jaber

Team - Security and Systems

Julien Michel

Team - Security and Systems

Abdul Qadir Khan

Team - Security and Systems

Marc Espie

Team - Security and Systems

Elloh Adja

Team - Security and Systems

Ghada Gharbi

Team - Security and Systems

Walid Ghandour

Team - Security and Systems