Congratulations to Yannick Chevalier on winning the LICS Test-of-Time Award 2023
Yannick Chevalier, UT3 Senior Lecturer in the AI Department – LILaC team, has received the LICS Test-of-Time Award 2023 for his paper “An NP Decision Procedure for Protocol Insecurity with XOR”. This publication was co-authored with Ralf Küsters from the University of Stuttgart, Michaël Rusinowitch and Mathieu Turuani (Loria, INRIA). This prize was awarded jointly to the article “Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or”