|
|
|
| e-Pub |
Previous | 
Home
Section: Highlights of the Year
Highlights of the Year
Steve Kremer gave a keynote talk at the 29th IEEE Computer Security Foundations Symposium (CSF'16).
Awards
Véronique Cortier, Antoine Dallon and Stéphanie Delaune received the EASST best paper award of the ETAPS conference for the paper [24].
Best Paper Award:
[24]Bounding the number of agents, for equivalence too, in: 5th International Conference on Principles of Security and Trust (POST'16), Eindhoven, Netherlands, April 2016, pp. 211-232. [ DOI : 10.1007/978-3-662-49635-0_11 ]
https://hal.inria.fr/hal-01361286