Awards & nominations

Awards & nominations

Congratulations to Daniel De Almeida Braga for second place at CSAW 2020

Daniel De Almeida Braga is a PhD student in the EMSEC team and is supervised by Pierre-Alain Fouque and Mohamed Sabt. He won second place in the Applied Research competition for his publication "Dragonblood is Still Leaking: Pratical Cache-based Side-Channel in the Wild". CSAW is the world's largest academic cybersecurity competition. This year, the qualification phases brought together 1,600 [..]

Awards & nominations
Symposium Micro 2020 et nom du prix B. RAMAKRISHNA RAU -logo IEEE Computer Society

The B. Ramakrishna Rau Award to André SEZNEC

André Seznec , Research Director at Inria/IRSA, member of the PACAP team, was once again rewarded at the international symposium of Microarchitecture 2020. Created in memory of B. Ramakrishna Rau, this award is presented in recognition of his brilliant career in promoting and expanding the use of innovative techniques in computer microarchitecture, including his innovation in compiler technology [..]

Awards & nominations

Career Award for JM Jézéquel obtained at ACM/IEEE MODELS 20

Jean-Marc Jézéquel , Professor at the University of Rennes1, Director of IRISA and specialist in software engineering, awarded a Career Award at the 23rd ACM/IEEE international conference MODELS 20 "Model Driven Engineering Languages and Systems". This Career Award recognizes Professor JM Jézéquel's longstanding scientific and leadership contributions to the MDE community and identifies him as a [..]

Awards & nominations
Cocarde BEST Paper award et mention 25th European Symposium on Research in Computer Security (ESORICS)

Best Paper Award for Stéphanie Delaune at ESORICS conference

Congratulations to Stéphanie Delaune (directrice de recherche CNRS, member of the EMSEC research team and head of the Cybersecurity cross-cutting axis), Véronique Cortier (directrice de recherche CNRS, Loria) and Jannik Dreier (associate professor Loria) for joint best paper award for "Automatic generation of source lemmas in Tamarin: towards automatic proofs of security protocols" at ESORICS [..]

Awards & nominations
33rd IEEE Computer Security Fondations Symposium, June 22-25, 2020 - Virtual Conference

Best paper award obtained within the EMSEC team

Distinction obtained at the CSFSymposium for the paper by Solène Moreau (CNRS doctoral student) supervised by David Baelde (Senior Lecturer at LSV - Université Paris Saclay) and Stéphanie Delaune (CNRS Research Director, EMSEC research team at IRISA) for the article " A Method for Proving Unlinkability of Stateful Protocols " distinguished at conference CSF 2020 More at : Conférence 33rd IEEE [..]

Awards & nominations
Best Paper Award Linkmedia B.Bonnet - IH & MMSEC

Best Student Paper Award in the Linkmedia Research Team

Congratulations to Benoit Bonnet (PhD student Université Rennes 1) fron LinkMedia research team who who received the Best Student Paper Award at the IHMMSEC 2020 conference for the paper : “ What if Adversarial Samples were Digital Images?” , Benoit Bonnet (PhD studentUniversité R ennes1), Teddy Furon (Inria researcher) both member of LinkMedia research team, Patrick Bas (CNRS researcher at Ecole [..]

Awards & nominations
Portrait de Hakim Si-Mohammed pour son 1er prix de thèse 2019 décerné par la Fondation Rennes1

1st Thesis Prize Fondation Rennes 1 for Hakim Si-Mohammed

The Rennes 1 Foundation awarded, on Thursday July 2nd, its 2019 Thesis Prizes to 8 PhDs from the University of Rennes 1. Congratulations to Hakim Si-Mohammed who completed his thesis in the Hybrid research team. Thesis Director: Anatole Lécuyer Thesis abstract: Design of new interactive systems in which users manipulate real and virtual objects, thanks to Brain-Computer Interfaces that allow to [..]

Awards & nominations
Photo d'André Seznec et logo Intel

André Seznec, 2019 Intel Outstanding Research Award Winner

Intel sponsors and works alongside leading academic researchers around the globe in such areas as quantum computing, artificial intelligence (AI), and other emerging innovative technologies. Each year, Intel recognizes the outstanding contributions made by Intel-sponsored academic research by awarding prizes to outstanding researchers. In selecting the winners, special consideration is given to [..]