I have moved. Please visit my new homepage at
http://www.mpi-sws.org/~dg
Deepak Garg
Home
Research papers
Talks
Contact
Professional Activities
Program co-chair:
5th ACM Workshop on Programming Languages and Analysis for Security (PLAS 2010)
Program Committee Member:
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 (LIS2010)
8th International Workshop on the Implementation of Logics (IWIL 2010)
Workshop on Foundations of Security and Privacy (FCS09)
Publication chair:
IEEE Computer Security Foundations Symposium (2012 onwards)