Prix & nominations

Pour sa 35 édition, trois membres de l’équipe Spicy , se sont distingués une fois de plus à la conférence CSF 2022 - IEEE Computer Security Foundations Symposium , qui s’est tenue à Haifa en Israël en août dernier. Félicitations à David Baelde (professeur ENS Rennes et membre de l’équipe Spicy), Stéphanie Delaune (directrice de recherche CNRS et responsable de l’équipe Spicy), Solène Moreau [..]

Félicitations à Nicolas Markey, lauréat du prix Test-of-time de la conférence LICS 2022 Félicitations à Nicolas Markey, qui a obtenu le prix Test-of-Time lors de la conférence LICS - Logic in Computer Science, qui se tenait pour sa 37ème édition en Israël à Haifa, début août. La conférence LICS — Logic in Computer Science est le plus prestigieux forum annuel sur des sujets théoriques et pratiques [..]

Une fois opérationnel, l’ordinateur quantique balaiera tous les principes sur lesquels la cryptographie repose actuellement. Le National Institute of Standards and Technology (NIST), l'institut américain des standards et de la technologique a lancé un appel à contributions en 2016 pour trouver des algorithmes capables d’y résister. Sur quatre algorithmes cryptographiques résistants au post [..]

Félicitations à Nicolas Bellec , doctorant au sein de l'équipe PACAP, qui s'est vu décerner un Outstanding Paper Award à la conférence internationale 34th Euromicro Conference on Real-Time Systems (ECRTS 2022) à Modena (Italie). Ce prix vient récompenser l'article " RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems " et co-écrit avec Guillaume Hiet (équipe CIDRE), Simon Rokicki (équipe [..]

La Fondation Rennes 1 a remis , ce lundi 04 juillet, ses Prix de thèse à 8 docteurs de l'Université de Rennes 1 Félicitations à Katharina BOUDGOUST qui a effectué sa thèse dans l'équipe de recherche EMSEC (nouvellement CAPSULE). Directeur/Directrice de thèse : Pierre-Alain FOUQUE et Adeline ROUX-LANGLOIS Résumé de thèse : "La présente thèse de doctorat s’inscrit dans le domaine de la cryptographie [..]

Accélérer l’étude des versions d’un logiciel grâce à un assemblage incrémental Le passage de lignes de code à un logiciel fonctionnel s’appelle un build , ce qui en fait un concept absolument crucial pour le développement logiciel. Différents types de builds sont disponibles, comme les builds incrémentaux qui intriguent des chercheurs de l'équipe DIVERSE. Les derniers travaux de cette équipe [..]

Félicitations à Xhevahire Tërnava, Mathieu Acher, Luc Lesoil, Arnaud Blouin, Jean-Marc Jézéquel de l'équipe de recherche Diverse Ils ont été récompensé du Best Paper Award pour leur publication « Scratching the Surface of configure: Learning the Effects of Compile-Time Options on Binary Size and Gadgets” présenté à la conférence internationale ICSR 2022 ( 20th international conference on Software [..]

Félicitations à Claudio Pacchierotti, médaille de bronze du CNRS 2022 et membre de l'équipe de recherche Rainbow Permettre d'interagir physiquement avec un objet virtuel ou distant, tel est l’enjeu des travaux de Claudio Pacchierotti, qui s’intéresse à l'utilisation de l’haptique, science qui explore et exploite le toucher, pour l'interaction avec les systèmes robotiques et de réalité virtuelle [..]