• [Formal Methods Seminar] A scalable framework for backward bounded static symbolic execution

    A008

    The next D2 seminar, entitled “A scalable framework for backward bounded static symbolic execution”, by Nicolas Bellec, will be held on March 4 at 1:00 pm in room A008. Abstract Many programs (e.g. malware) hide their behavior by using obfuscations such as opaque predicates. Automatic methods have been developed to detect such obfuscations. In this […]

  • [Séminaire DefMal] La recherche en cybersécurité doit-elle s’intéresser davantage à la criminologie (et vice-versa) ?

    A008

    Dans le cadre du projet cible du PEPR Cybersécurité - DefMal porté par l'Université de Lorraine, le séminaire "La recherche en cybersécurité doit-elle s’intéresser davantage à la criminologie (et vice-versa) ?", sera présenté par Benoît Dupont, professeur titulaire à l’École de criminologie de l’Université de Montréal et titulaire de la Chaire de recherche du Canada […]

  • D3 Seminar : Analyse temporelle de systèmes temps réel complexes avec le Network Calculus

    A008

    Le prochain séminaire "Analyse temporelle de systèmes temps réel complexes avec le Network Calculus" sera présenté par Damien Guidolin-Pina (ISAE SUPAERO/ONERA/RTaW), le 7 mars à 9h en salle A008. Résumé Les systèmes temps réel sont aujourd'hui de plus en plus complexes et différentes technologies se mêlent. Afin de garantir que le système respecte les exigences […]

  • NLP Seminar: Watermarking AI-generated content

    A008

    The next NLP Seminar, entitled "Watermarking AI-generated content" will be given by Pierre Fernandez (Meta FAIR Paris) and will take place on 10th March, in Loria's room A008 Jean Legras, at 10:00. Abstract: Invisible watermarking involves embedding a hidden signal into digital media like text, images, and audio. It has evolved from a tool for […]

  • [NLP Seminar] What does Emotion have to do with Language?

    A008

    Next NLP Seminar will take place on Thursday, 27th March, at 2 p.m., in room A008 Jean Legras. Speaker: Casey Kennington, Boise State University Abstract: Research suggests that cognition is not separable from emotion, which has implications for computational models of language: they are trained on text (and in some cases images), but how is […]