Gilles DOWEK, winner of the 2023 "Inria - Académie des sciences" Grand Prize 10/11/2023 Gilles DOWEK, a computer science researcher at Inria, lecturer in the computer science teaching and ...
Privacy in Security Protocols : a formal and automated analysis 08/12/2017 The information society we belong to heavily relies on secure information exchanges by using securit...
