Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

• Prosecco organized the 2nd IEEE European Symposium on Security and Privacy in Paris, 26-28 April 2017. Catalin Hritcu was General Chair, Bruno Blanchet was Finance Chair, and Karthikeyan Bhargavan was Local arrangements Chair.

• Harry Halpin co-chaired the IEEE Security and Privacy on the Blockchain workshop, colocated with IEEE EuroS&P, on 29 April 2017.

• Catalin Hritcu is Artifact Evaluation Co-Chair of POPL 2018

• Catalin Hritcu created a New Workshop on Principles of Secure Compilation (PriSC) colocated with POPL 2017 and 2018. He is PC Chair for PriSC 2018.

• Prosecco organized a Project Everest Workshop at Inria Paris, 2 October 2017

• Prosecco organized an ESOP PC workshop at Inria Paris, 15 December 2017 Workshop at POPL: 13 January 2018, Los Angeles, USA

Scientific Events Selection

Member of the Conference Program Committees

• Bruno Blanchet was PC member at TAP 2017.

• Harry Halpin was a PC member for ISWC 2017 and WWW 2017.

• Catalin Hritcu was PC member at ESOP 2018 and EuroS&P 2018

• Karthikeyan Bhargavan was a PC member at ACM CCS 2017-18, IEEE S&P 2017-18, POST 2018.

Reviewer

• Harry Halpin served as a reviewer for LatinCrypt, AsiaCrypt, JAIST, TCS

Journal

Member of the Editorial Boards

Associate Editor

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

Invited Talks

• Bruno Blanchet gave an invited talk at the workshop on Models and Tools for Security Analysis and Proofs, 2017.

• Bruno Blanchet gave an invited talk at the workshop TLS:DIV (TLS 1.3: Design, Implementation & Verification), 2017.

• Bruno Blanchet gave an invited talk at the workshop TMSP (Trends in Mechanized Security Proofs), 2017.

• Bruno Blanchet gave an invited talk at the Summer Research Institute, EPFL, 2017.

• Harry Halpin gave an invited talk at SPACE 2017

• Harry Halpin gave an invited talk at Conference on Privacy and Data Protection, January 2017.

• Harry Halpin gave an invited talk at RightsCon, March 2017.

• Harry Halpin gave an invited talk at E-CRYPT Cryptosympsium, March 2017.

• Harry Halpin gave an invited talk at La Firma Digital, July 2017.

• Harry Halpin gave an invited talk at Google, October 2017.

• Harry Halpin gave an invited talk at IMMWorld, November 2017.

• Harry Halpin gave an invited talk at Boston University Law School, November 2017.

• Harry Halpin gave an invited talk at University of North Carolina-Chapel Hill, December 2017.

• Harry Halpin gave a keynote talk at Security, and Privacy, and Cryptographic Engineering, December 2017.

• Catalin Hritcu was an invited speaker at TFP 2017

• Catalin Hritcu gave talks at Infoiasi, ESOP PC Workshop, Everest Workshop, TFP (Keynote), FADEx 2017, EuroS&P 2017, Université Clermont Auvergne, University Paris-Sud.

• Karthikeyan Bhargavan gave a keynote at ACNS 2017, Kanazawa, Japan.

• Karthikeyan Bhargavan gave an invited talk at Apple, Cupertino, USA.

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.

• Karthikeyan Bhargavan advises the TLS working group at the IETF and consults for Mozilla, Apple, and Microsoft Research.

• Catalin Hritcu consilts for Microsoft Research and the DARPA SSITH/HOPE grant.

Research Administration

• Bruno Blanchet is a member of the Inria hiring committee for PhD, post-docs, and délégations (Commision des Emplois Scientifiques, CES).