Section: Dissemination
Promoting Scientific Activities
Scientific events organisation
General chair, scientific chair
-
PROSECCO organized and hosted the The Joint EasyCrypt-F*-CryptoVerif School 2014 from Nov 24-28. The main organizers were Catalin Hritcu, Karthikeyan Bhargavan, and Pierre-Yves Strub. The school attracted over 75 participants and was primarily funded by the ERC Starting Grant CRYSP, with supporting funds from CryptoForma, MSR-Inria, and CryptoSense. The school's website is at https://wiki.inria.fr/prosecco/The_Joint_EasyCrypt-F*-CryptoVerif_School_2014
-
PROSECCO hosted the IETF TLS Working Group Interim Meeting from October 21-22. The main organizers were Alfredo Pironti and Karthikeyan Bhargavan. The meeting involved a dozen members of industry and academia and discussed the detailed design of the next version of TLS. The meeting's website is at https://wiki.inria.fr/prosecco/IETF_TLS_Interim_October_2014
Scientific events selection
Chair of conference program committee
Member of the conference program committee
-
ETAPS HotSpot – April 2014, Grenoble, France: Bruno Blanchet
-
FCS-FCC 2014 – July 2014, Vienna, Austria: Catalin Hritcu, Benjamin Smyth
Reviewer
-
Members of Prosecco reviewed papers for many major conferences and workshops including ACM CCS, ACM POPL, IEEE S&P, etc.
Journal
Member of the editorial board
- Associate Editor