Awards & nominations

Awards & nominations
Mohamed Sabt (à gauche) et Gwendal Patat (à droite)

Mohamed Sabt and Gwendal Patat join the Firefox Hall of Fame

After the Google Hall of Fame, Mohamed Sabt and Gwendal Patat make their appearance in the Firefox Hall of Fame Congratulations to Mohamed Sabt, Senior Lecturer at the University of Rennes and Gwendal Patat, PhD student at the Université de Rennes, both members of the Spicy research team, who are being inducted into the prestigious Firefox Hall of Fame for their important contribution to web [..]

Awards & nominations
Photo du visage d'Hugo Brument

Congratulations to Hugo Brument who received the IEEE VGTC Virtual Reality Best Dissertation Award Honorable Mention

Congratulations to Hugo Brument who received the IEEE VGTC Virtual Reality Best Dissertation Award Honorable Mention The IEEE VGTC Virtual Reality Best Dissertation Award is presented each year to the author of the most outstanding Ph.D. dissertation, defended during the preceding two calendar years, in the broad areas of virtual and augmented reality. Hugo Brument defended his thesis last [..]

Awards & nominations

Congratulations to our two doctors who received the Rennes 1 Foundation thesis prize

Congratulations to Daniel De Almeida Braga who was awarded the 1st prize for his thesis Daniel De Almeida Braga did his thesis in the EMSEC research team (which gave rise to Spicy). Title of the thesis: Cryptography in the Wild: The Security of Cryptographic Implementations Thesis supervisors: Pierre-Alain FOUQUE, Professor at the University of Rennes and Mohamed SABT Lecturer at the University of [..]

Awards & nominations

CompCert awarded by the prestigious Association for computing machinery (ACM)

The CompCert compiler has been awarded from the prestigious Association for computing machinery (ACM), for the second time CompCert is the first multi-architecture optimising compiler used in industry with a mathematical proof of correctness verified by computer. Developed by several researchers*, including Sandrine Blazy, Professor at the Université de Rennes, Deputy Director of IRISA and member [..]

Awards & nominations

Shadi Ibrahim named ACM Distinguished member

Shadi Ibrahim, an Inria researcher in the Myriads team, was named as “ACM Distinguished member” at the end of december 2022 for outstanding scientific contributions to computing. ACM (the Association for Computing Machinery), World’s Largest Computing Society Honors 2022 Distinguished Members for Ground-Breaking Achievements and Longstanding Participation. ACM has named 67 Distinguished Members [..]

Awards & nominations
portrait  André Seznec @com Inria

André Seznec receives the Inria Innovation Award - Académie des sciences - Dassault Systèmes

Congratulations to André Seznec who receives this new award, proof of his expertise in the field of microprocessor architecture. André Seznec - Inria researcher, formerly head of the Architecture department at IRISA and member of the PACAP team - has been conducting research on microprocessor architecture for 40 years. He designed and built a first prototype of a matrix computation gas pedal. Then [..]

Awards & nominations
De gauche à droite : Florian Nouviale (ingénieur de recherche INSA), Valérie Gouranton et Bruno Arnaldi (enseignants-chercheurs INSA/ IRISA)

Virtual Reality, 3 scientists from IRISA rewarded for the creation of the Xareus software

The Valorisation trophies of the Rennes Innovation Campus reward Bruno ARNALDI, Valérie GOURANTON (INSA teacher-researchers) and Florian NOUVIALE (INSA research engineer) for the Xareus software, a tool to help the programming of virtual reality applications. A simplification that allows to graphically program a scenario or to display the possible interactions between compatible virtual objects [..]

Awards & nominations
Spicy

A research team scrutinise cryptographic protocols

(in french only) Plutôt que de réparer incessamment des failles de sécurité une fois qu’elles ont été exploitées par un attaquant, il est possible de réduire ces risques en aidant les cryptographes à les détecter en amont grâce à des outils de vérification de protocoles. C’est l’objet des recherches en cybersécurité d'une équipe de scientifiques* dont les travaux ont été récompensés par un [..]