Editorships and committees


Advisory / steering committees

  • ANSSI scientific council (French National Agency for the Security of Information Systems), member since 2019.
  • ACM Special Interest Group on Logic and Computation, member since 2014, vice-chair since 2019.
  • IFIP Wg-1.7 Foundations of Security Analysis, member since 2009 vice-chair since 2012.

Past editorships and advisory committees