Deepak Garg

Professional Activities

• Steering committee member:
  • IEEE Computer Security Foundations Symposium (CSF), 2012-2023
  • Conference on Principles of Security and Trust (POST), 2016-2019
  • Workshop on Principles of Secure Compilation (PriSC), 2020-2023
  • Workshop on the Foundations of Computer Security (FCS), 2016-2020 (SC chair 2017-2020)
  • ACM Workshop on Programming Languages and Analysis for Security (PLAS), 2011-2014
• Program co-chair/co-organizer:
  • Programming Language Mentoring Workshop (PLMW) @ PLDI 2022
  • Dagstuhl Seminar on Secure Compilation, 2021
  • 15th International Conference on Information Systems Security (ICISS 2019)
  • 3rd Workshop on Principles of Secure Compilation (PriSC 2019)
  • Dagstuhl Seminar on Secure Compilation, 2018
  • Workshop on Foundations of Computer Security (FCS 2016)
  • Workshop on Foundations of Computer Security (FCS 2015)
  • 5th ACM Workshop on Programming Languages and Analysis for Security (PLAS 2010)
• Associate chair/area chair:
  • 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023) (Associate chair)
  • 27th ACM Conference on Computer and Communications Security (CCS 2020) (Area chair)
• Program committee member:
  • IEEE Computer Security Foundations Symposium (CSF 2025)
  • ACM/IEEE Symposium on Logic in Computer Science (LICS 2024)
  • ECOOP 2022
  • SPLASH 2022 OOPSLA
  • ACM Conference on Computer and Communications Security (CCS 2021)
  • 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)
  • European Symposium on Programming (ESOP 2019)
  • IEEE Computer Security Foundations Symposium (CSF 2018)
  • 3rd IEEE European Symposium on Security and Privacy (EuroS&P 2018)
  • ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS 2017)
  • 6th International Conference on Principles of Security and Trust (POST 2017)
  • 2nd IEEE European Symposium on Security and Privacy (EuroS&P 2017)
  • 23rd ACM Conference on Computer and Communications Security (CCS 2016)
  • 5th International Conference on Principles of Security and Trust (POST 2016)
  • International Conference on Distributed Computing and Internet Technology (ICDCIT 2016)
  • 22nd ACM Conference on Computer and Communications Security (CCS 2015)
  • IEEE Computer Security Foundations Symposium (CSF 2015)
  • 36th IEEE Symposium on Security and Privacy (Oakland 2015)
  • 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015)
  • 21st ACM Conference on Computer and Communications Security (CCS 2014)
  • IEEE Computer Security Foundations Symposium (CSF 2014)
  • 35th IEEE Symposium on Security and Privacy (Oakland 2014)
  • 19th ACM Symposium on Access Control Models and Technologies (SACMAT 2014)
  • Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)
  • IEEE International Conference on Big Data (BigData 2013)
  • Workshop on Foundations of Computer Security (FCS 2013)
  • 34th IEEE Symposium on Security and Privacy (Oakland 2013)
  • 5th USENIX Workshop on the Theory and Practice and Provenance (TAPP 2013)
  • 2nd International Conference on Principles of Security and Trust (POST 2013)
  • 10th Asian Symposium on Programming Languages and Systems (APLAS 2012)
  • IEEE Computer Security Foundations Symposium (CSF 2012)
  • 8th Workshop on Formal Aspects of Security and Trust (FAST 2011)
  • 6th ACM Workshop on Programming Languages and Analysis for Security (PLAS 2011)
  • Workshop on Foundations of Security and Privacy (FCS-PrivMod 2010)
  • Workshop on Logics in Security (LIS 2010)
  • 8th International Workshop on the Implementation of Logics (IWIL 2010)
  • Workshop on Foundations of Security and Privacy (FCS'09)
• Publication chair: IEEE Computer Security Foundations Symposium (2012-2023)

Imprint / Data Protection