Research Days 2021

October 11 – 12, 2021

Once a year, Labex DigiCosme (Digital Worlds) presents its research topics and results: software security and reliability, cryptography, cyber-physical systems, formal methods, smart networks, internet of things, smart cities, data science, deep learning, text mining, artificial intelligence.

* Registration and the sanitary pass will be required to come on site (within the limit of available seats).

Program

Monday, 11th October , 2021

  • 9:30 – 9:45: Opening session – Michel Kieffer
  • 9:45 – 10:45: Keynote talk – Pierre-Yves Strub: High-Assurance and High-Speed Cryptographic Implementations
  • 10:45 – 11:15: Coffee break
  • 11:15 – 12:15: PhD presentations
    • Amélie Ledein – “Interoperability and formal semantic proofs, with K and Dedukti”
    • Anfu Tang – “The use of syntax-BERT in relation extraction”
    • Loric Duhaze – “Jeu d’accessibilité lié à une marche de rotors sur un arbre non orienté”
  • 12:15 – 14:00: Lunch break
  • 14:00 – 15:00: Keynote talk – Catherine Rosenberg From 5G towards 6G
  • 15:00 – 15:30: Presentation of the Paris-Saclay graduate schools
  • 15:30 – 16:00: Pitch poster of the master students
    • Serge Durand
    • Thibaut Soulard
    • Ihsan Ullah
    • Khodor Hannoush
  • 16:00 – 17:00 : Coffee break + poster exposition

Tuesday, 12th October , 2021

  • 9:30 – 10:30 : Keynote talk – Elisa Fromont: Explicability for the Classification of Time Series
  • 10 :30 – 11:00 : Hot topics presentation
    • Patrick Paroubek (LISN, IID/Natural Language Processing), Processing Natural Language Dialogue: Chatbots and More
    • Alexis Aravanis (L2S, Comex/Network Information Theory: Coding, Security and caching)
    • Elie Awwad (LTCI, Comex/Optical Communication: Signal Processing, Coding and Networks)
  • 11:00 – 11:30 : Coffee break
  • 11:30 – 12:30: PhD presentations
    • Fakher Sagheer – “Expectation Propagation based Joint User Activity Detection, Channel Estimation and Data Decoding for Grant-Free OFDM-IDMA Systems with Bursty Traffic”
    • Angelo Saadeh – “ε-Differentially Private and Fully Secure Logistic Regression on Vertically Split Data”
  • 12:30 – 14:00 Lunch break
  • 14:00 – 14:30 : Presentation of the IP Paris Departments
    • Bruno Defude (ingénierie des données et de l’intelligence artificielle)
    • Bruno Thedrez (Information, Communications, Electronique)
  • 14:30 – 15:00: Initiatives transverses presentations
    • Mihai Mitrea N​eural n​E​twork W​ ​atermarking for ​E​nergy efficient ​Mobile ​M​ultimedia ​A​pplications (NewEMMA)
    • Helene – Camille crayencour Large-scale Computational Analysis of Audio Music: STatistical relational ARtificial intelligence for Structure discovery (STARS)
  • 15:00 – 15:40 : PhD presentations
    • Gian Karlo Aguirre-Samboni – “Ecosystem causal analysis using Petri nets unfoldings”
    • Jialin Hao – Comex IID
  • 15:40 – 16:10 : Michel Kieffer: Perspectives of the Labex – Come and tell us which activities you want the Labex to continue in the future

Keynote talks

  • Elisa Fromont, Centre de recherche IRISA, “Explicabilité pour la Classification de Séries Temporelles”

Après avoir brièvement redonné les motivations inhérentes à l’explication des méthodes d’apprentissage automatique en général et d’apprentissage profond en particulier; ainsi qu’un état de l’art des méthodes actuelles, je proposerais quelques contributions que mes étudiants et moi avons pu avoir sur le sujet, notamment pour pour la classification de séries temporelles univariées et multivariées (Adversarial Regularization for Explainable-by-Design Time Series Classification – ICTAI 2020; A Performance-Explainability Framework to Benchmark Machine Learning Methods: Application to Multivariate Time Series Classifiers – IJCAI Workshop on Explainable Artificial Intelligence (XAI), 2020; XCM: An Explainable Convolutional Neural Network for Multivariate Time Series Classification. CoRR abs/2009.04796 (2020))

Abstract: A brief overview of 5G followed by a discussion on where 5G research is going. She will share her experience working on 5G with industry and operators in Canada and in France and conclude by a short description of what is emerging as the early concepts behind 6G.

Bio: Catherine Rosenberg is a Professor in Electrical and Computer Engineering at the University of Waterloo since 2004. Since June 2010, she holds the  Canada Research Chair in the Future Internet. She was elected an IEEE Fellow for contributions to resource management in wireless and satellite networks in 2011 and was elected a Fellow of the Canadian Academy of Engineering in 2013. In April 2018, she became the Cisco Research Chair in 5G Systems. Part of her career was in industry, in Alcatel in France, in AT&T Bell Labs in the USA and in Nortel Networks in the UK. She held faculty positions in Ecole Polytechnique, Montreal and Purdue university. Her research expertise lies in wireless networks, multimedia, traffic engineering and energy systems.

  • Pierre-Yves Strub, École Polytechnique, LIX (Laboratoire d’Informatique de l’X), “High-Assurance and High-Speed Cryptographic Implementations

The security of communications heavily relies on cryptography. For decades, mathematicians have invested an immense effort in providing cryptography that is built on firm mathematical foundations. This has lead to a collection of cryptographic primitives whose correctness can be proved by drawing on results from branches of mathematics such as complex analysis, algebraic geometry, representation theory and number theory. A stated goal of recent competitions for cryptographic standards is to gain trust from the broad cryptography community through open and transparent processes. These processes generally involve open-source reference and optimized implementations for
performance evaluation, rigorous security analyses for provable security evaluation and, often, informal evaluation of security against side-channel attacks. These artefacts contribute to building trust in candidates, and ultimately in the new standard. However, the disconnect between implementations and security analyses is a major cause for concern.

In this talk, I will present the Jasmin-EasyCrypt project that explores how formal approaches could eliminate this disconnect and bring together implementations (most importantly, efficient implementations) and software artefacts, in particular machine-checked proofs, supporting security analyses.

Bio :

Pierre-Yves Strub is a professor assistant in Computer Science at École Polytechnique. Pierre- Yves Strub has expertise in program verification and certification of cryptographic primitives/protocols, as well as formal methods and mathematics formalization. He is one of the two main developers of the EASYCRYPT tool and is strongly involved
in the devel- opment of JASMIN.