Edito

Cette semaine, dans la lettre de l'IRIF, la procédure des demandes de missions change et il est nécessaire que votre profil Etamine soit rempli.

Côté actualité, les journées PPS auront lieu le 19 octobre. Le programme PAUSE permet de soutenir financièrement et administrativement les chercheurs forcés à l'exil. Différentes aides pour accompagner les candidatures à l'ANR sont proposées (webinaires, réunions d'informations, supports…).

Le Focus de cette semaine porte sur la thèse de Simona Etinski : “Generalized syndrome decoding problem and its application to post-quantum cryptography”.

Concernant les appels d'offres et informations des partenaires, les candidatures aux chaires IUF 2024 sont ouvertes et le programme ERASMUS+ permet aux enseignants-chercheurs et au personnel administratif de partir à l'étranger dans une université réputée en Europe.

Bonne lecture et bon week-end !

Annonces de la direction

  • Change of procedure for mission requests: Mission requests will now be done using the Etamine form. First, please connect on this page to update your profile. When you submit a mission request please specify in the mission title the funding and the venue. Also, provide as much information as possible regarding the location, timeline, transportation, and spending estimates in the comment field. If the mission is handled by CNRS, you will be able to book your trip and accommodations in Notilus once the mission is approved. Reservations must be confirmed by the secretary's office within a very short timeframe. Please make ticket reservations during the week and between 8am and 4pm, and before 12pm on fridays. If you encounter any problem, please do not hesitate to contact the secretariat. In general, please declare your missions at least 2 weeks before departure.

All the information can be found in a more detailed way here.

  • The CNRS currently has an unusual delay for the reimbursement of missions. This should be solved within the next weeks.
  • Third floor printers: the printers of the third floor who where in room 3052 have been moved to room 3033.


Actualités

  • PPS Welcome day: the PPS welcome day will be held Thursday, October 19th, from 9am to 3:45pm, room 3052 at Sophie Germain Buildings. The new PPS members will present themselves and their work.
  • Fête de la Science : ateliers débranchés et initiation à la programmation seront proposés à l'IRIF, qui accueillera des élèves de primaire, collège et lycée, du 6 au 16 octobre, dans le cadre de la Fête de la Science 2023. Nous avons encore besoin de votre mobilisation pour animer ces activités ! Merci de remplir ce formulaire ou de contacter directement calvi@irif.fr.
  • Programme PAUSE : ce programme permet de soutenir financièrement des artistes et chercheurs contraints à l'exil par leurs pays pour qu'ils puissent poursuivre leur travail. Ils sont accueillis dans des établissements d’enseignement supérieur et/ou de recherche et des institutions culturelles en France. Une aide leur est également proposée pour les assister administrativement et les accompagner dans leur insertion professionnelle. Vous pouvez demander ici un cofinancement du programme PAUSE pour accueillir un chercheur en danger.
  • Dagstuhl proposals: Schloss Dagstuhl organise “scientific seminars and workshops on a variety of topics, from the classical and well-established areas within computer science to the cutting-edge and new topics, often relating different areas within computer science or also to the outside”. You will be able to submit your project from the 15th of October to the 1st of November. The seminar will be held between September 2024 and August 2025. More informations on their website.
  • Postdoctoral Position: the Modeling and Verification team at the Institut de Recherche en Informatique Fondamentale, in association with the Real-Time Systems Group at the Max Planck Institute for Software Systems (MPI-SWS) seeks a motivated postdoctoral researcher to work on the subject of scalable model checking of embedded real-time systems. More informations here.
  • Database Theory in Paris : Grâce au travail d'Alexandra Rogova, l'équipe Automates et applications de l'IRIF, en association avec plusieurs équipes externes s'intéressant à la théorie des bases de données (au LIGM, l'ENS, Telecom Paris, etc.), relance le site et la newsletter de « Database Theory in Paris », qui centralise les évènements scientifiques de cette thématique en région parisienne.
  • Session d'information et accompagnement ANR: dans le cadre de l'appel à projets générique 2024 de l'ANR, les départements d’Ingénierie et Management de projets des Facultés vous proposent une réunion d'information pour vous présenter les nouveautés du Plan d’action et de l’AAPG 2024. Elle se déroulera le jeudi 28 septembre de 11h à 12h30 sur zoom. Pour y participer, merci de contacter directement projets.recherche.sciences@u-paris.fr. Vous trouverez de plus amples renseignements dans ce mail sur l'appel, les candidatures et l'offre d'accompagnement.
  • Diving into maths with Emmy Noether : both the endowment fund of the Henri Poincaré Institut and the department of cultural affairs of Sorbonne University organised a performance of the play “Diving into maths with Emmy Noether”. It will be held Tuesday 10th of October at 8pm, Amphithéâtre Richelieu de la Sorbonne, 17 rue de la Sorbonne, 75005 Paris. It's free but you have to book your ticket. More informations about the play on this website.
  • Marathon d'Orsay de Mathématiques : cet évènement est une compétition ludique consistant à résoudre des problèmes mathématiques toute l'année, en rédigeant soigneusement des réponses argumentées. Ces problèmes s'adressent à tout niveau, des lycéens jusqu'aux doctorants. Voici un flyer pour diffuser l'information auprès de vos élèves. Pour tout complément d'information, rendez-vous sur le site internet de l'évènement.
  • GEOTOP-A International Conference: the GEOTOP-A International Conference will he held in January 2024, between the 8th to the 13th. in Mérida (Yucatán), México. The deadline for the submission of abstracts both pour the oral contributions (25 mins) for the poster presentations (5 mins) is September, the 30th.
  • [REMINDER] Workshop Complexity and Algorithms (CoA 2023): the 3rd annual workshop for the working group “Complexity and Algorithms” (GT-CoA) will take place at Campus Jussieu, Paris, September 18-20 2023. Here is the link to register.


Focus on Simona Etinski, former PhD student at IRIF, who is decoding the hardest protocols

Simona Etinski defended her thesis the 28th of June. Her subject was “Generalized Syndrome Decoding Problem and its Application to Post-Quantum Cryptography”.

“A better understanding of SDP and its generalization is thus relevant for developing more efficient cryptographic protocols secure against quantum attacks even if full-scale quantum devices are developed.”

Click on this link to read her portrait.

Abstract : In this thesis, we focus on the syndrome decoding problem (SDP), its generalization, cryptanalysis, and its application to digital signature scheme designs. We introduce a new problem, which we refer to as the generalized syndrome decoding problem. In the cryptanalytic part of the thesis, we then focus on the classical and quantum cryptanalysis of the generalized syndrome decoding problem using the information set decoding framework. More precisely, we calculate the running time of three different (classical) information set decoding algorithms, which we refer to as Prange's, Stern's/Dumer's, and Wagner's algorithms. The three algorithms are adapted to solve specific versions of the generalized problem which are given over the Hamming weight, taken as a baseline, and the Lee weight, taken as an alternative to the most commonly used Hamming weight. We then compare the obtained running times with the running time of the hybrid classical-quantum algorithm, obtained by introducing the Grover search and the amplitude amplification in the appropriate step of Wagner's algorithm. In the protocol design part of the paper, we modify Stern's identification protocol, and the corresponding signature scheme, to the newly introduced generalized syndrome decoding problem. To keep the zero-knowledge property of the scheme, we eventually replace the syndrome decoding problem with the permuted kernel one (PKP), for which we show that the average-case SDP reduces to average-case PKP. We then suggest different methods for optimizing the efficiency of the scheme and then provide numerical results that compare the efficiency of the original construction and our newly introduced scheme. The outcome of this work is an analysis of the newly introduced variant of the syndrome decoding problem which provides an estimate of the asymptotic complexity of the problem, as well as of the concrete security of the scheme based on this problem. The results indicate that the proper choice of a weight function introduces a harder version of the syndrome decoding problem and thus yields more efficient protocols based upon it.


Appels d'offres et informations des partenaires

  • Appel à projets Colloque et Evènements scientifiques : dans le cadre du Fonds d’intervention recherche facultaire, la Faculté des Sciences organise annuellement un appel à projets afin de financer les conférences, colloques et autres événements scientifiques. Vous avez jusqu'au lundi 30 octobre pour candidater. Plus d'informations dans ce document. Pour candidater, vous devez remplir ce dossier de financement.
  • ERASMUS+ exchange program: Several types of mobility offer teaching-research staff and administrative personnel the opportunity to undertake a stay within a higher education institution in the European Union. To know more about those, a webinaire with more informations will be held. You have the choice between two timetable : Monday 25th of Septembre from 2pm to 3pm and Friday 10th of November from 10am to 11am. You can directly connect to the zoom links. Here is a document with the key informations for the Erasmus+ staff mobilities.
  • Institut Universitaire de France : campagne 2024: deux cents chaires IUF (juniors et seniors, dont pour chaque dont 80 chaires fondamentales, 15 chaires d’innovation* et 5 chaires de médiation scientifique) seront ouvertes au concours en application de la loi de programmation de la recherche (LPR). La date limite de candidature est le 6 novembre 2023 minuit. Vous trouverez sur ce lien les dossiers de candidatures et les notices d'informations, et vous pourrez également y soumettre votre candidature.
  • [RAPPEL] Formation CNRS : lundi 25 septembre vous est proposé une formation “Soumettre son projet détaillé à l'ANR” à 16h30. Vous aurez notamment l'occasion connaître les nouveautés du plan d’actions 2024 ainsi que le fonctionnement de USER FIRST. Il reste des places et il est toujours temps de vous inscrire. Pour candidater, vous devez remplir ce formulaire et le renvoyer signé par votre responsable.
  • Webinaire dispositif EIC : ce webinaire portera sur les trois types d'EIC : “Pathfinder”, “transition” et “accelerator”. Vous pouvez vous inscrire jusqu'au 18 septembre via ce lien. Le webinaire se déroulera le 19 septembre à 14h30 (pendant 1h30).
  • ERC-2024-STARTING and ERC-2023-SYNERGY : The ERC-2024-STARTING (closing date 24/10/2023) and ERC-2023-SYNERGY (closing date 08/11/2022) calls are open. The first one is intended for researchers whose career is between 2 and 7 years after obtaining their thesis diploma. The second is addressed to a group of between two and a maximum of four principal investigators (PIs) - one of whom will be designated as the corresponding PI (cPI) - working together and bringing different skills and resources to bear on ambitious research problems. Click on this link to find out more about the timetable and documents required for the calls.
  • Appel à projet MSCA and Citizens 2023 : cet appel à projet à pour but d'obtenir des financements dans le cadre d'actions menées pour rapprocher la recherche (activités, rôle, intérêt sociétal…) vers le grand public comme par exemple avec la Fête de la Science. Vous avez jusqu'au 25 octobre pour en bénéficier. Plus d'informations ici pour se renseigner sur le projet européen.

Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.


Agenda de la semaine du 25 septembre au 29 septembre

Vérification · Lundi 25 septembre, 11:00, 3052 and Zoom link ·
Masaki Waga (Kyoto University), Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization.

Algorithmes et complexité · Mercredi 27 septembre, 11:00, Room 3052 ·
Oded Regev (NYU Courant), An Efficient Quantum Factoring Algorithm

Preuves, programmes et systèmes · Jeudi 28 septembre, 10:30, Lyon ·
Antoine Allioux, Liseau Blondeau-Patissier, William Simmons, Séminaire CHOCOLA

La syntaxe rencontre la sémantique · Jeudi 28 septembre, 14:00, Room 3052 ·
Beniamino Accattoli (INRIA Saclay), TBA

Combinatoire énumérative et analytique · Jeudi 28 septembre, 14:00, IHP ·
Vincent Bonzom Et Cédric Boutillier, Séminaire Flajolet à l'IHP

Séminaire des membres non-permanents · Jeudi 28 septembre, 16:00, Room 3052 ·
Emily Clement, Layered controller synthesis for dynamic multi-agent systems

Automates · Vendredi 29 septembre, 14:00, Room 3052 ·
Alexander Rabinovich (Tel-Aviv University), The Church Synthesis Problem Over Continuous Time