Section: Dissemination

Promoting Scientific Activities

V. Cortier was auditioned by the chamber of the workers in Luxembourg, on the security of electronic voting.

Scientific Events Selection

Program Committee Chair

• A. Imine: FPS 2017, 10th International Symposium on Foundations & Practice of Security, Nancy, October 23-25, 2017 (co-chair with J. M. Fernandez, Polytechnique Montreal, Canada)

• M. Rusinowitch: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisie, April 6-9, 2017 (co-chair with M. Mosbah, Univ Bordeaux)

Program Committee Member

• V. Cortier: E-VoteID 2018, POST 2018, E-VoteID 2017, CCS 2017, LICS 2017, SAC 2017, HotSpot 2017

• S. Kremer: Voting 2018, EuroS&P 2018, PLAS 2017, ESORICS 2017, Voting 2017, EuroS&P 2017

• C. Ringeissen: IJCAR 2018, UNIF 2018, WRLA 2018, FroCoS 2017, UNIF 2017

• M. Rusinowitch: CRISIS 2017, FPS 2017, ICISSP 2018, IWSPA 2018

• V. Cheval: TMPA 2017, SEC@SAC 2017

Journal

Editorial Board Member

• V. Cortier: Information & Computation, Journal of Computer Security, ACM Transactions on Privacy and Security (TOPS, previously TISSEC), Foundations and Trends (FnT) in Security and Privacy

• S. Kremer: ERCIM News

Scientific Committee Member

• L. Vigneron: Technique et Sciences Informatiques, Lavoisier

Invited Talks

• V. Cortier. Invited tutorial at Highlights 2017, London, UK, September 12th, 2017

• V. Cortier. Invited talk at FPS 2017, Nancy, France, October 2017

• V. Cortier. Invited talk at CIAA 2017, Marne-la-Vallée, France, June 2017

• V. Cortier. Invited talk at Workshop on the 20th Anniversary of LSV, Cachan, France, May 11th 2017

• V. Cortier. Invited tutorial at ETAPS 2017, Uppsala, Sweden, April 22nd, 2017

• V. Cortier. Invited talk at Models and Tools for Security Analysis and Proofs Workshop, affiliated with Eurocrypt 2017, Paris, France, April 29th 2017

Research Administration

Inria evaluation committee (S. Kremer)

Jury Junior Research Position Inria Rennes-Bretagne Atlantique (S. Kremer)

Jury Junior Research Position Inria Nancy-Grand Est (V. Cortier, committee chair)

Jury Professor at UMPC, LIP6 (V. Cortier)

Computer science commission of the Doctoral School, Univ Lorraine (L. Vigneron, chair)