Section: Dissemination

Promoting Scientific Activities

Scientific Events: Organisation

General Chair, Scientific Chair

• Catalin Hritcu is the Steering Committee Chair of the Workshop on Principles of Secure Compilation (PriSC)

• Catalin Hritcu is the main organizer a Dagstuhl Seminar on Secure Compilation (20201)

• Karthikeyan Bhargavan co-chaired the Workshop on Secure Messaging at EUROCRYPT 2019

Member of the Organizing Committees

• Catalin Hritcu is a Steering Committee Member of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)

Scientific Events: Selection

Chair of Conference Program Committees

• Catalin Hritcu served as Program Chair of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)

Member of the Conference Program Committees

• Karthikeyan Bhargavan was PC member of CCS 2019

• Bruno Blanchet was PC member of CSF 2019

• Catalin Hritcu was PC member of RV 2019, SecDev 2019, CSF 2020

Journal

Member of the Editorial Boards

Associate Editor

• of the International Journal of Applied Cryptography (IJACT) – Inderscience Publishers: Bruno Blanchet

Invited Talks

• Karthikeyan Bhargavan gave invited talks at ERCIM Rome, FSTTCS Mumbai, ICISS Hyderabad,

• Catalin Hritcu gave invited talks at EPFL Lausanne, Ruhr University Bochum, MPI-SWS, and Chalmers University;

Leadership within the Scientific Community

• Catalin Hritcu served as the Artifact Evaluation Co-Chair for POPL 2018 and POPL 2019

Scientific Expertise

• Bruno Blanchet is a member of the specialized temporary scientific committee of ANSM (Agence nationale de sécurité du médicament et des produits de santé), on the cybersecurity of software medical devices.

• Bruno Blanchet was a scientific consultant for Nomadic Labs, regarding the development of the blockchain Tezos.

• Karthikeyan Bhargavan was scientific consultant for Nomadic Labs, regarding verified cryptographic software.

Research Administration

• Bruno Blanchet was a member of the hiring scientific jury for Inria researchers (chargé de recherche) of the Inria Paris center.

• Bruno Blanchet was a representative of Inria Paris at the DIM RFSI (Domaine d’Intérêt Majeur, Réseau Francilien en Sciences Informatiques).