Section: Highlights of the Year

Highlights of the Year

The paper [3] is listed in ACM Computing Reviews' 21st Annual Best of Computing list of notable books and articles (http://www.computingreviews.com) for 2016.

The voting system Belenios, developed in the Pesto and Caramba teams, has served as a basis of the development of two industrial systems (Docapost and Orange).

A 4-year ANR project on Protocol Analysis — Combining Existing Tools (TECAP) has been accepted. It will start in 2018 with Vincent Cheval as project leader.