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 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
Reviewer
Journal
Member of the Editorial Boards
- Associate Editor
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 Conference on Privacy and Data Protection, January 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 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 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.