back to home page

Cătălin Hriţcu

Community Service

Organization

• General Chair of 2nd IEEE European Symposium on Security and Privacy (EuroS&P 2017) (26-28 April 2017, Paris, France; 250 registered participants)
• Main organizer of Dagstuhl Seminar 18201 on Secure Compilation (May 13-18, 2018)
• Artifact Evaluation Co-Chair for Principles of Programming Languages (POPL 2018 and 2019)
• Main organizer of the Workshop on Principles of Secure Compilation (PriSC) at POPL
  (# of registered participants: 31 in 2017 and 40 in 2018)
• Co-Organizer of ESOP Program Committee Workshop at Inria Paris
  (December 2017, approx 40 participants)
• Organizer of Everest workshop at Inria Paris (October 2017, approx 40 participants)
• Organizer of Secure Compilation meeting at Inria Paris (August 2016, 13 participants)
• Main organizer of Joint EasyCrypt-F*-CryptoVerif School 2014 in Paris (over 80 participants)

PC member for conferences

• 25th ACM Conference on Computer and Communications Security (CCS 2018)
• 3rd IEEE European Symposium on Security and Privacy (EuroS&P 2018)
• 26th European Symposium on Programming (ESOP 2018)
• 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
• 6th International Conference on Principles of Security and Trust (POST 2017)
• 29th IEEE Computer Security Foundations Symposium (CSF 2016)
• 7th International Conference on Interactive Theorem Proving (ITP 2016)
• 4th ACM-SIGPLAN Conference on Certified Programs and Proofs (CPP 2016)

PC member for workshops

• Program Chair for 2nd Workshop on Principles of Secure Compilation (PriSC 2018)
• Workshop on Type-Directed Programming (TyDe 2016)
• 1st International Workshop on Hammers for Type Theories (HaTT 2016)
• Joint Workshop on Foundations of Computer Security\\and Formal and Computational Cryptography (FCS-FCC 2014)
• 10th Workshop on Foundations of Computer Security (FCS 2013)

Reviewer for journals