In reverse chronological order
Lesly-Ann Daniel, a former PhD student in the team and now a postdoc at KU Leuven, ranks 2nd at the GDR Sécurité 2022 award (“best French PhD in cybersecurity”), for her work on symbolic analysis of side channels attacks and specualtive attacks. Congratulation!
Benjamin Farinier, a former PhD student in the team and now a postdoc at TUVienna, has won the GDR GPL 2020 best PhD award for his work on Decision Procedures for Vulnerability Analysis.
We are honoured and happy to have received a distinguished paper award at ICSE’21 and the best paper award at RTAS’21.
Lesly Anne-Daniel reveived the fellowship “Jeunes Talents France” L’Oréal - UNESCO pour les femmes et la science for her PhD work on automated program analysis for security. A french article from ENS-Rennes is available here.