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 […]
La soutenance HDR d'Abdelkader Lahmadi, intitulée « Contributions to the monitoring and security of networked systems » aura lieu mardi 4 mars à 14h00 en salle B013. Résumé Les systèmes en réseau constituent la pierre angulaire de nombreuses infrastructures essentielles, allant du cloud aux réseaux de contrôle industriel, ainsi qu’à l’Internet des objets (IoT). Ces systèmes […]
La soutenance HDR de Damien Jamet, intitulée « Combinatoire des mots, géométrie discrète et théorie des nombres » aura lieu mardi 4 mars à 15h00 en salle C005. Résumé Mes travaux de recherche se situent à l’intersection de l'informatique théorique et des mathématiques discrètes. Ils mêlent des thématiques comme la combinatoire des mots, la géométrie discrète, […]
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 […]
Le Club RESAIA “Régulation et Sécurité des Systèmes d’algorithmes et d’Intelligence artificielle” organise un “Apéro’Sciences” sur le thème de la cybercriminalité. Le Professeur Benoît Dupont, criminologue de renom à l’Université de Montréal, fera une présentation sur les interactions entre criminalité, cybersécurité, et nouvelles technologies. Son intervention sera suivie d’un temps d’échange convivial entre les participants. […]
